Uses of Interface
net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

Packages that use AssociativeFormulaSupport.AssociativeSupportBridge

Package	Description
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.lp.asp.syntax

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 and 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

Fields in net.sf.tweety.logics.commons.syntax declared as AssociativeFormulaSupport.AssociativeSupportBridge

Modifier and Type	Field and Description
private AssociativeFormulaSupport.AssociativeSupportBridge	AssociativeFormulaSupport.bridge the bridge to the real implementation

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type AssociativeFormulaSupport.AssociativeSupportBridge

Constructor and Description
AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge bridge) Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge

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 and 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.

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 and Description
class	AssociativePropositionalFormula This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.

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 and Description
class	DLPHead This formula represents the head of an disjunctive rule which is a disjunction of ELP literals.