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	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	Description
abstract ComplexLogicalFormula	ComplexLogicalFormulaAdapter.clone()
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.exchange(Term<?> v, Term<?> t)
ComplexLogicalFormula	AssociativeFormulaSupport.substitute(Term<?> v, Term<?> t)
ComplexLogicalFormula	ComplexLogicalFormulaAdapter.substitute(Map<? extends Term<?>,? extends Term<?>> map)

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