net.sf.tweety.logics.commons.syntax.interfaces

Interfaces

• AssociativeFormula
• Atom
• ClassicalFormula
• ComplexLogicalFormula
• Conjuctable
• Disjunctable
• Invertable
• LogicProgram
• LogicStructure
• ProbabilityAware
• QuantifiedFormula
• SimpleLogicalFormula
• Term
• TypedStructure

Classes

• Atom.AtomImpl

Enums

• Atom.RETURN_SET_PREDICATE