Uses of Class
net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

Packages that use ComplexLogicalFormulaAdapter

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of ComplexLogicalFormulaAdapter in net.sf.tweety.logics.commons.syntax

Subclasses of ComplexLogicalFormulaAdapter in net.sf.tweety.logics.commons.syntax

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

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

Subclasses of ComplexLogicalFormulaAdapter in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class and Description
class	Aggregate this class represents an aggregate function.
class	Arithmetic This class implements the Arithmetic semantic given by the DLV Manual.
class	Comparative This class implements comparative predicates as described in the DLV manual.
class	DLPAtom this class models an atom, which is a basic structure for building literals and rules for logic programs
class	DLPElementAdapter This acts as abstract base class for classes implement the ELPElement interface
class	DLPHead This formula represents the head of an disjunctive rule which is a disjunction of ELP literals.
class	DLPNeg This class models strict negation for atoms.
class	DLPNot this class models a default negated literal.
class	Rule This class models a rule for a disjunctive logic program.

Uses of ComplexLogicalFormulaAdapter in net.sf.tweety.lp.nlp.syntax

Subclasses of ComplexLogicalFormulaAdapter in net.sf.tweety.lp.nlp.syntax

Modifier and Type	Class and Description
class	NLPRule A rule of a nested logic program.