Uses of Class net.sf.tweety.logics.commons.syntax.RelationalFormula (Tweety (Commons Logic) 1.16 API)

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	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	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	Description
`Set<RelationalFormula>`	RelationalFormula.`allGroundInstances(Set<Constant> constants)`	Computes all ground instances of this relational formula wrt.