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 LinkTypeLinkStrategy. compute(Argument parent, AcceptanceCondition childAcc)LinkTypeSatLinkStrategy. 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 classArgumentAn 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 classAbstractAcceptanceConditionclassConjunctionAcceptanceConditionclassContradictionAcceptanceConditionclassDisjunctionAcceptanceConditionclassEquivalenceAcceptanceConditionclassExclusiveDisjunctionAcceptanceConditionclassImplicationAcceptanceConditionclassNegationAcceptanceConditionclassTautologyAcceptanceConditionMethods in net.sf.tweety.arg.adf.syntax.acc that return AcceptanceCondition Modifier and Type Method Description AcceptanceConditionAcceptanceCondition.Builder. build()AcceptanceConditionNegationAcceptanceCondition. getChild()AcceptanceConditionExclusiveDisjunctionAcceptanceCondition. getLeft()AcceptanceConditionImplicationAcceptanceCondition. getLeft()AcceptanceConditionExclusiveDisjunctionAcceptanceCondition. getRight()AcceptanceConditionImplicationAcceptanceCondition. 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.BuilderAcceptanceCondition.Builder. and(AcceptanceCondition acc)AcceptanceCondition.BuilderAcceptanceCondition.Builder. and(AcceptanceCondition... accs)static AcceptanceCondition.BuilderAcceptanceCondition. builder(AcceptanceCondition acc)Returns a left-associative builder.AcceptanceCondition.BuilderAcceptanceCondition.Builder. equiv(AcceptanceCondition acc)AcceptanceCondition.BuilderAcceptanceCondition.Builder. equiv(AcceptanceCondition... accs)AcceptanceCondition.BuilderAcceptanceCondition.Builder. implies(AcceptanceCondition acc)AcceptanceCondition.BuilderAcceptanceCondition.Builder. or(AcceptanceCondition acc)AcceptanceCondition.BuilderAcceptanceCondition.Builder. or(AcceptanceCondition... accs)AcceptanceCondition.BuilderAcceptanceCondition.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 AcceptanceConditionAbstractDialecticalFramework. getAcceptanceCondition(Argument argument)Guaranteed to be non-null if the ADF contains the argument.AcceptanceConditionExtendedAbstractDialecticalFramework. getAcceptanceCondition(Argument argument)AcceptanceConditionGraphAbstractDialecticalFramework. getAcceptanceCondition(Argument argument)Methods in net.sf.tweety.arg.adf.syntax.adf with parameters of type AcceptanceCondition Modifier and Type Method Description AbstractDialecticalFramework.BuilderAbstractDialecticalFramework.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.BuilderAbstractDialecticalFramework. fromMap(java.util.Map<Argument,AcceptanceCondition> map)static AbstractDialecticalFramework.BuilderAbstractDialecticalFramework. transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)Creates a newAbstractDialecticalFrameworkwith 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 UAbstractCollector. collect(AcceptanceCondition acc, java.util.function.Consumer<D> consumer)default UCollector. collect(AcceptanceCondition acc, java.util.Collection<D> collection)Traverses through the givenAcceptanceConditionand adds all the collected data to the provided collection.UCollector. collect(AcceptanceCondition acc, java.util.function.Consumer<D> consumer)Traverses through the givenAcceptanceConditionand calls the provided consumer on all the collected data.RAbstractCollector. transform(AcceptanceCondition acc)RAbstractTransformer. transform(AcceptanceCondition acc)RTransformer. transform(AcceptanceCondition acc)Transforms the given acceptance condition into another structure.
-