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

Packages that use ComplexLogicalFormula

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

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

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

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.
class	ComplexLogicalFormulaAdapter Abstract base class for ComplexLogicalFormula, that are formulas which implement substitute(), exchange(), getTerms(), isGround() and isWellFormed() and therefore use terms to describe themself.
class	RelationalFormula This is the abstract base class for relational formulas, i.e.

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

Modifier and Type	Method and Description
abstract ComplexLogicalFormula	ComplexLogicalFormulaAdapter.clone()
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.exchange(Term<?> v, Term<?> t)
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.substitute(Map<? extends Term<?>,? extends Term<?>> map)
ComplexLogicalFormula	AssociativeFormulaSupport.substitute(Term<?> v, Term<?> t)

Uses of ComplexLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Subinterfaces of ComplexLogicalFormula in net.sf.tweety.logics.commons.syntax.interfaces

Modifier and Type	Interface and Description
interface	QuantifiedFormula Interface for a QuantifiedFormula with a set of quantified variables implementing an all- or exist-quantor for example.

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return ComplexLogicalFormula

Modifier and Type	Method and Description
ComplexLogicalFormula	ComplexLogicalFormula.clone()
ComplexLogicalFormula	ComplexLogicalFormula.exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
ComplexLogicalFormula	ComplexLogicalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.