Uses of Class
net.sf.tweety.arg.adf.syntax.AcceptanceCondition
-
Packages that use AcceptanceCondition Package Description net.sf.tweety.arg.adf.parser net.sf.tweety.arg.adf.syntax net.sf.tweety.arg.adf.transform -
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.parser
Fields in net.sf.tweety.arg.adf.parser with type parameters of type AcceptanceCondition Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
KppADFFormatParser.ACNode. accByArgument
Methods in net.sf.tweety.arg.adf.parser that return AcceptanceCondition Modifier and Type Method Description AcceptanceCondition
KppADFFormatParser.AndNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.CNode. parseFormula()
(package private) AcceptanceCondition
KppADFFormatParser.IdentifierNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.IffNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.ImpNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.NegNode. parseFormula()
(package private) AcceptanceCondition
KppADFFormatParser.Node. parseFormula()
AcceptanceCondition
KppADFFormatParser.OrNode. parseFormula()
AcceptanceCondition
KppADFFormatParser.XorNode. parseFormula()
(package private) AcceptanceCondition
KppADFFormatParser.IdentifierNode. parseSpecialFormula()
(package private) AcceptanceCondition
KppADFFormatParser.Node. parseSpecialFormula()
Constructor parameters in net.sf.tweety.arg.adf.parser with type arguments of type AcceptanceCondition Constructor Description ACNode(java.util.Map<Argument,AcceptanceCondition> accByArgument)
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax
Subclasses of AcceptanceCondition in net.sf.tweety.arg.adf.syntax Modifier and Type Class Description class
Argument
An immutable representation of an ADF argumentclass
AssociativeAcceptanceCondition
class
BinaryAcceptanceCondition
class
ConjunctionAcceptanceCondition
class
ContradictionAcceptanceCondition
class
DisjunctionAcceptanceCondition
class
EquivalenceAcceptanceCondition
class
ExclusiveDisjunctionAcceptanceCondition
class
ImplicationAcceptanceCondition
class
NegationAcceptanceCondition
class
TautologyAcceptanceCondition
class
UnaryAcceptanceCondition
Fields in net.sf.tweety.arg.adf.syntax declared as AcceptanceCondition Modifier and Type Field Description private AcceptanceCondition
AcceptanceCondition.Builder. left
private AcceptanceCondition
BinaryAcceptanceCondition. left
private AcceptanceCondition
BinaryAcceptanceCondition. right
private AcceptanceCondition
UnaryAcceptanceCondition. sub
private AcceptanceCondition[]
AssociativeAcceptanceCondition. subconditions
Fields in net.sf.tweety.arg.adf.syntax with type parameters of type AcceptanceCondition Modifier and Type Field Description private java.util.Map<Argument,AcceptanceCondition>
AbstractDialecticalFramework. accByArgument
Methods in net.sf.tweety.arg.adf.syntax that return AcceptanceCondition Modifier and Type Method Description AcceptanceCondition
AcceptanceCondition.Builder. build()
AcceptanceCondition
AbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Methods in net.sf.tweety.arg.adf.syntax 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)
AcceptanceCondition.Builder
AcceptanceCondition.Builder. iff(AcceptanceCondition acc)
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)
Method parameters in net.sf.tweety.arg.adf.syntax with type arguments of type AcceptanceCondition Modifier and Type Method Description AbstractDialecticalFramework
AbstractDialecticalFramework. transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)
Creates a copy of this ADF with transformed acceptance conditions.AbstractDialecticalFramework
AbstractDialecticalFramework. transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)
Creates a copy of this ADF with transformed acceptance conditions.Constructors in net.sf.tweety.arg.adf.syntax with parameters of type AcceptanceCondition Constructor Description AssociativeAcceptanceCondition(AcceptanceCondition[] subconditions)
BinaryAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
Builder(AcceptanceCondition left)
ConjunctionAcceptanceCondition(AcceptanceCondition... subconditions)
DisjunctionAcceptanceCondition(AcceptanceCondition... subconditions)
EquivalenceAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
ImplicationAcceptanceCondition(AcceptanceCondition left, AcceptanceCondition right)
NegationAcceptanceCondition(AcceptanceCondition subcondition)
UnaryAcceptanceCondition(AcceptanceCondition sub)
Constructor parameters in net.sf.tweety.arg.adf.syntax with type arguments of type AcceptanceCondition Constructor Description AbstractDialecticalFramework(java.util.Map<Argument,AcceptanceCondition> accByArgument)
-
Uses of AcceptanceCondition in net.sf.tweety.arg.adf.transform
Method parameters in net.sf.tweety.arg.adf.transform with type arguments of type AcceptanceCondition Modifier and Type Method Description AcceptanceCondition
FixPartialTransform. transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition
OmegaReductTransform. transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition
FixPartialTransform. transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition
OmegaReductTransform. transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
-