Uses of Interface
org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
Package
Description
-
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.reasoner.query
-
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.semantics.link
Modifier and TypeMethodDescriptionLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
LinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc)
SatLinkStrategy.compute(Argument parent, AcceptanceCondition childAcc, Interpretation assumption)
-
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.syntax
-
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.syntax.acc
Modifier and TypeClassDescriptionclass
class
class
class
class
class
class
class
class
Modifier and TypeMethodDescriptionAcceptanceCondition.Builder.build()
NegationAcceptanceCondition.getChild()
ExclusiveDisjunctionAcceptanceCondition.getLeft()
ImplicationAcceptanceCondition.getLeft()
ExclusiveDisjunctionAcceptanceCondition.getRight()
ImplicationAcceptanceCondition.getRight()
Modifier and TypeMethodDescriptionAbstractAcceptanceCondition.getChildren()
AcceptanceCondition.getChildren()
ContradictionAcceptanceCondition.getChildren()
TautologyAcceptanceCondition.getChildren()
Modifier and TypeMethodDescriptionAcceptanceCondition.Builder.and(AcceptanceCondition acc)
AcceptanceCondition.Builder.and(AcceptanceCondition... accs)
static AcceptanceCondition.Builder
AcceptanceCondition.builder(AcceptanceCondition acc)
Returns a left-associative builder.AcceptanceCondition.Builder.equiv(AcceptanceCondition acc)
AcceptanceCondition.Builder.equiv(AcceptanceCondition... accs)
AcceptanceCondition.Builder.implies(AcceptanceCondition acc)
AcceptanceCondition.Builder.or(AcceptanceCondition acc)
AcceptanceCondition.Builder.or(AcceptanceCondition... accs)
AcceptanceCondition.Builder.xor(AcceptanceCondition acc)
ModifierConstructorDescriptionModifierConstructorDescriptionAbstractAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
ConjunctionAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
DisjunctionAcceptanceCondition(Collection<? extends AcceptanceCondition> children)
Asserts all children to be pairwise equivalent. -
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.syntax.adf
Modifier and TypeMethodDescriptionAbstractDialecticalFramework.getAcceptanceCondition(Argument argument)
Guaranteed to be non-null if the ADF contains the argument.Modifier and TypeMethodDescriptionAbstractDialecticalFramework.Builder.add(Argument arg, AcceptanceCondition acc)
Modifier and TypeMethodDescriptionAbstractDialecticalFramework.fromMap(Map<Argument,AcceptanceCondition> map)
AbstractDialecticalFramework.transform(BiFunction<Argument,AcceptanceCondition,AcceptanceCondition> transformer)
AbstractDialecticalFramework.transform(BiFunction<Argument,AcceptanceCondition,AcceptanceCondition> transformer)
AbstractDialecticalFramework.transform(Function<AcceptanceCondition,AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions.AbstractDialecticalFramework.transform(Function<AcceptanceCondition,AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions.AbstractDialecticalFramework.transform(Transformer<AcceptanceCondition> transformer)
Creates a newAbstractDialecticalFramework
with transformed acceptance conditions. -
Uses of AcceptanceCondition in org.tweetyproject.arg.adf.transform
Modifier and TypeMethodDescriptionAbstractCollector.collect(AcceptanceCondition acc, Consumer<D> consumer)
default U
Collector.collect(AcceptanceCondition acc, Collection<D> collection)
Traverses through the givenAcceptanceCondition
and adds all the collected data to the provided collection.Collector.collect(AcceptanceCondition acc, Consumer<D> consumer)
Traverses through the givenAcceptanceCondition
and calls the provided consumer on all the collected data.TseitinTransformer.collect(AcceptanceCondition acc, Consumer<Clause> clauses)
AbstractCollector.transform(AcceptanceCondition acc)
AbstractTransformer.transform(AcceptanceCondition acc)
Transformer.transform(AcceptanceCondition acc)
Transforms the given acceptance condition into another structure.TseitinTransformer.transform(AcceptanceCondition acc)
-
Uses of AcceptanceCondition in org.tweetyproject.logics.cl.examples
Modifier and TypeMethodDescriptionstatic PlFormula
ADF_OCF_comparison_example.getFormulaFromAcc(AcceptanceCondition ac)
Translate "Acceptance Condition" into "PlFormula" Recursive function: Case distinction by class name