Uses of Interface
net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition
-
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.semantics.link
Methods in net.sf.tweety.arg.adf.semantics.link with parameters of type AcceptanceCondition Modifier and Type Method Description LinkType
LinkStrategy. compute(Argument parent, AcceptanceCondition childAcc)
LinkType
SatLinkStrategy. compute(Argument parent, AcceptanceCondition childAcc)
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax
Classes in net.sf.tweety.arg.adf.syntax that implement AcceptanceCondition Modifier and Type Class Description class
Argument
An immutable representation of an ADF argumentMethods in net.sf.tweety.arg.adf.syntax that return types with arguments of type AcceptanceCondition Modifier and Type Method Description java.util.Set<AcceptanceCondition>
Argument. getChildren()
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax.acc
Classes in net.sf.tweety.arg.adf.syntax.acc that implement AcceptanceCondition Modifier and Type Class Description class
AbstractAcceptanceCondition
class
ConjunctionAcceptanceCondition
class
ContradictionAcceptanceCondition
class
DisjunctionAcceptanceCondition
class
EquivalenceAcceptanceCondition
class
ExclusiveDisjunctionAcceptanceCondition
class
ImplicationAcceptanceCondition
class
NegationAcceptanceCondition
class
TautologyAcceptanceCondition
Methods in net.sf.tweety.arg.adf.syntax.acc that return AcceptanceCondition Modifier and Type Method Description AcceptanceCondition
AcceptanceCondition.Builder. build()
AcceptanceCondition
NegationAcceptanceCondition. getChild()
AcceptanceCondition
ExclusiveDisjunctionAcceptanceCondition. getLeft()
AcceptanceCondition
ImplicationAcceptanceCondition. getLeft()
AcceptanceCondition
ExclusiveDisjunctionAcceptanceCondition. getRight()
AcceptanceCondition
ImplicationAcceptanceCondition. getRight()
Methods in net.sf.tweety.arg.adf.syntax.acc that return types with arguments of type AcceptanceCondition Modifier and Type Method Description java.util.Set<AcceptanceCondition>
AbstractAcceptanceCondition. getChildren()
java.util.Set<AcceptanceCondition>
AcceptanceCondition. getChildren()
java.util.Set<AcceptanceCondition>
ContradictionAcceptanceCondition. getChildren()
java.util.Set<AcceptanceCondition>
TautologyAcceptanceCondition. getChildren()
Methods in net.sf.tweety.arg.adf.syntax.acc with parameters of type AcceptanceCondition Modifier and Type Method Description AcceptanceCondition.Builder
AcceptanceCondition.Builder. and(AcceptanceCondition acc)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. and(AcceptanceCondition... accs)
static AcceptanceCondition.Builder
AcceptanceCondition. builder(AcceptanceCondition acc)
Returns a left-associative builder.AcceptanceCondition.Builder
AcceptanceCondition.Builder. equiv(AcceptanceCondition acc)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. equiv(AcceptanceCondition... accs)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. implies(AcceptanceCondition acc)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. or(AcceptanceCondition acc)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. or(AcceptanceCondition... accs)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. xor(AcceptanceCondition acc)
Constructors in net.sf.tweety.arg.adf.syntax.acc with parameters of type AcceptanceCondition Constructor Description ConjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
DisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
EquivalenceAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
NegationAcceptanceCondition(AcceptanceCondition child)
Constructor parameters in net.sf.tweety.arg.adf.syntax.acc with type arguments of type AcceptanceCondition Constructor Description AbstractAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
ConjunctionAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
DisjunctionAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
EquivalenceAcceptanceCondition(java.util.Collection<AcceptanceCondition> children)
Asserts all children to be pairwise equivalent. -
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax.adf
Methods in net.sf.tweety.arg.adf.syntax.adf that return AcceptanceCondition Modifier and Type Method Description AcceptanceCondition
AbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Guaranteed to be non-null if the ADF contains the argument.AcceptanceCondition
ExtendedAbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
AcceptanceCondition
GraphAbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Methods in net.sf.tweety.arg.adf.syntax.adf with parameters of type AcceptanceCondition Modifier and Type Method Description AbstractDialecticalFramework.Builder
AbstractDialecticalFramework.Builder. add(Argument arg, AcceptanceCondition acc)
Method parameters in net.sf.tweety.arg.adf.syntax.adf with type arguments of type AcceptanceCondition Modifier and Type Method Description static AbstractDialecticalFramework.Builder
AbstractDialecticalFramework. fromMap(java.util.Map<Argument,AcceptanceCondition> map)
static AbstractDialecticalFramework.Builder
AbstractDialecticalFramework. transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions. -
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.transform
Methods in net.sf.tweety.arg.adf.transform with parameters of type AcceptanceCondition Modifier and Type Method Description U
AbstractCollector. collect(AcceptanceCondition acc, java.util.function.Consumer<D> consumer)
default U
Collector. collect(AcceptanceCondition acc, java.util.Collection<D> collection)
Traverses through the givenAcceptanceCondition
and adds all the collected data to the provided collection.U
Collector. collect(AcceptanceCondition acc, java.util.function.Consumer<D> consumer)
Traverses through the givenAcceptanceCondition
and calls the provided consumer on all the collected data.R
AbstractCollector. transform(AcceptanceCondition acc)
R
AbstractTransformer. transform(AcceptanceCondition acc)
R
Transformer. transform(AcceptanceCondition acc)
Transforms the given acceptance condition into another structure.
-