Uses of Interface
net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
-
-
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.arg.dung.ldo.syntax
Classes in net.sf.tweety.arg.dung.ldo.syntax that implement AssociativeFormulaSupport.AssociativeSupportBridge Modifier and Type Class Description class
LdoAssociativeFormula
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.class
LdoConjunction
This class represents a conjunction in ldo logic.class
LdoDisjunction
This class represents a disjunction in ldo logic. -
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.logics.commons.syntax
Constructors in net.sf.tweety.logics.commons.syntax with parameters of type AssociativeFormulaSupport.AssociativeSupportBridge Constructor Description AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge bridge)
Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge -
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.logics.dl.syntax
Classes in net.sf.tweety.logics.dl.syntax that implement AssociativeFormulaSupport.AssociativeSupportBridge Modifier and Type Class Description class
AssociativeDlFormula
This class captures the common functionalities of description logic associative formulas (union and intersection).class
Intersection
This class models an intersection in description logics.class
Union
This class models an union in description logics. -
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.logics.fol.syntax
Classes in net.sf.tweety.logics.fol.syntax that implement AssociativeFormulaSupport.AssociativeSupportBridge Modifier and Type Class Description class
AssociativeFolFormula
This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.class
Conjunction
The classical conjunction of first-order logic.class
Disjunction
The classical disjunction of first-order logic.class
ExclusiveDisjunction
The exclusive disjunction (XOR) in first-order logic. -
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.logics.pl.syntax
Classes in net.sf.tweety.logics.pl.syntax that implement AssociativeFormulaSupport.AssociativeSupportBridge Modifier and Type Class Description class
AssociativePlFormula
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.class
Conjunction
This class represents a conjunction in propositional logic.class
Disjunction
This class represents a disjunction in propositional logic.class
ExclusiveDisjunction
This class represents an exclusive disjunction (XOR) in propositional logic. -
Uses of AssociativeFormulaSupport.AssociativeSupportBridge in net.sf.tweety.lp.asp.syntax
Classes in net.sf.tweety.lp.asp.syntax that implement AssociativeFormulaSupport.AssociativeSupportBridge Modifier and Type Class Description class
ASPHead
This formula represents the head of an disjunctive rule which is a disjunction of literals.
-