Uses of Interface
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 -
-
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
Classes in net.sf.tweety.arg.adf.syntax that implement AcceptanceCondition Modifier and Type Class Description class
Argument
An immutable representation of an ADF argumentclass
ConjunctionAcceptanceCondition
class
ContradictionAcceptanceCondition
class
DisjunctionAcceptanceCondition
class
EquivalenceAcceptanceCondition
class
ExclusiveDisjunctionAcceptanceCondition
class
ImplicationAcceptanceCondition
class
NegationAcceptanceCondition
class
TautologyAcceptanceCondition
Fields in net.sf.tweety.arg.adf.syntax declared as AcceptanceCondition Modifier and Type Field Description private AcceptanceCondition
ConjunctionAcceptanceCondition. first
private AcceptanceCondition
DisjunctionAcceptanceCondition. first
private AcceptanceCondition
EquivalenceAcceptanceCondition. first
private AcceptanceCondition
ExclusiveDisjunctionAcceptanceCondition. first
private AcceptanceCondition
ImplicationAcceptanceCondition. first
private AcceptanceCondition
ConjunctionAcceptanceCondition. second
private AcceptanceCondition
DisjunctionAcceptanceCondition. second
private AcceptanceCondition
EquivalenceAcceptanceCondition. second
private AcceptanceCondition
ExclusiveDisjunctionAcceptanceCondition. second
private AcceptanceCondition
ImplicationAcceptanceCondition. second
private AcceptanceCondition
NegationAcceptanceCondition. subcondition
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
AbstractDialecticalFramework. getAcceptanceCondition(Argument argument)
Constructors in net.sf.tweety.arg.adf.syntax with parameters of type AcceptanceCondition Constructor Description ConjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates a conjunction of acceptance conditionsDisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates a disjunction of acceptance conditionsEquivalenceAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates an equivalence formula of acceptance conditionsExclusiveDisjunctionAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates an XOR of acceptance conditionsImplicationAcceptanceCondition(AcceptanceCondition first, AcceptanceCondition second)
creates an implication of acceptance conditionsNegationAcceptanceCondition(AcceptanceCondition subcondition)
Constructor parameters in net.sf.tweety.arg.adf.syntax with type arguments of type AcceptanceCondition Constructor Description AbstractDialecticalFramework(java.util.Map<Argument,AcceptanceCondition> accByArgument)
-