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

Packages that use RelationalFormula

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

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

Classes in net.sf.tweety.logics.commons.syntax with type parameters of type RelationalFormula

Modifier and Type	Class and Description
class	QuantifiedFormulaSupport<T extends RelationalFormula> This class provides common functionalities for quantified formulas, i.e.

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

Modifier and Type	Method and Description
abstract RelationalFormula	RelationalFormula.clone()
abstract RelationalFormula	RelationalFormula.complement()
RelationalFormula	RelationalFormula.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.
RelationalFormula	RelationalFormula.getFormula()
RelationalFormula	RelationalFormula.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. NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.
abstract RelationalFormula	RelationalFormula.substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type RelationalFormula

Modifier and Type	Method and Description
Set<RelationalFormula>	RelationalFormula.allGroundInstances(Set<Constant> constants) Computes all ground instances of this relational formula wrt.