Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula

Packages that use AssociativeFormula

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

Uses of AssociativeFormula in net.sf.tweety.arg.dung.ldo.syntax

Classes in net.sf.tweety.arg.dung.ldo.syntax that implement AssociativeFormula

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 AssociativeFormula in net.sf.tweety.logics.commons.syntax

Classes in net.sf.tweety.logics.commons.syntax that implement AssociativeFormula

Modifier and Type	Class	Description
class	AssociativeFormulaSupport<T extends SimpleLogicalFormula>	This class provides common implementation for associative formulas that are formulas which consists of several other formulas.

Methods in net.sf.tweety.logics.commons.syntax that return AssociativeFormula

Modifier and Type	Method	Description
<T extends SimpleLogicalFormula> AssociativeFormula<T>	AssociativeFormulaSupport.AssociativeSupportBridge.createEmptyFormula()

Uses of AssociativeFormula in net.sf.tweety.logics.dl.syntax

Classes in net.sf.tweety.logics.dl.syntax that implement AssociativeFormula

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 AssociativeFormula in net.sf.tweety.logics.fol.syntax

Classes in net.sf.tweety.logics.fol.syntax that implement AssociativeFormula

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 AssociativeFormula in net.sf.tweety.logics.pl.syntax

Classes in net.sf.tweety.logics.pl.syntax that implement AssociativeFormula

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 AssociativeFormula in net.sf.tweety.logics.translators

Methods in net.sf.tweety.logics.translators with type parameters of type AssociativeFormula

Modifier and Type	Method	Description
<A extends AssociativeFormula<? extends SimpleLogicalFormula>> AssociativeFormula<?>	Translator.translateAssociative(A source, java.lang.Class<?> assocCls)	Translates the given AssociativeFormula into another AssociativeFormula thats type is given by the parameter assocCls

Methods in net.sf.tweety.logics.translators that return AssociativeFormula

Modifier and Type	Method	Description
<A extends AssociativeFormula<? extends SimpleLogicalFormula>> AssociativeFormula<?>	Translator.translateAssociative(A source, java.lang.Class<?> assocCls)	Translates the given AssociativeFormula into another AssociativeFormula thats type is given by the parameter assocCls

Uses of AssociativeFormula in net.sf.tweety.lp.asp.syntax

Classes in net.sf.tweety.lp.asp.syntax that implement AssociativeFormula

Modifier and Type	Class	Description
class	ASPHead	This formula represents the head of an disjunctive rule which is a disjunction of literals.