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

Packages that use RelationalFormula

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

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

Subclasses of RelationalFormula in net.sf.tweety.logics.fol.syntax

Modifier and Type	Class and Description
class	AssociativeFOLFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
class	Conjunction The classical conjunction of first-order logic.
class	Contradiction A contradictory formula.
class	Disjunction The classical disjunction of first-order logic.
class	ExistsQuantifiedFormula
class	FOLAtom An atom in first-order logic, i.e.
class	FolFormula The common abstract class for formulas of first-order logic.
class	ForallQuantifiedFormula For-All quantified formula.
class	Negation The classical negation of first-order logic.
class	QuantifiedFormula The common parent of exists and forall quantified formulas, which contains common functionalities.
class	SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.
class	Tautology A tautological formula.

Fields in net.sf.tweety.logics.fol.syntax with type parameters of type RelationalFormula

Modifier and Type	Field and Description
protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<RelationalFormula>	AssociativeFOLFormula.support This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.

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

Modifier and Type	Method and Description
abstract RelationalFormula	RelationalFormula.clone()
abstract RelationalFormula	FolFormula.collapseAssociativeFormulas() This method collapses all associative operations appearing in this term, e.g.
RelationalFormula	Disjunction.collapseAssociativeFormulas()
RelationalFormula	Conjunction.collapseAssociativeFormulas()
abstract RelationalFormula	RelationalFormula.complement()
RelationalFormula	FolFormula.complement()
RelationalFormula	RelationalFormula.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.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	AssociativeFOLFormula.get(int index)
RelationalFormula	RelationalFormula.getFormula()
RelationalFormula	AssociativeFOLFormula.remove(int index)
RelationalFormula	AssociativeFOLFormula.set(int index, RelationalFormula element)
RelationalFormula	RelationalFormula.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.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.fol.syntax that return types with arguments of type RelationalFormula

Modifier and Type	Method and Description
Set<RelationalFormula>	RelationalFormula.allGroundInstances(Set<net.sf.tweety.logics.commons.syntax.Constant> constants) Computes all ground instances of this relational formula wrt.
List<RelationalFormula>	AssociativeFOLFormula.getFormulas()
Iterator<RelationalFormula>	AssociativeFOLFormula.iterator()
ListIterator<RelationalFormula>	AssociativeFOLFormula.listIterator()
ListIterator<RelationalFormula>	AssociativeFOLFormula.listIterator(int index)
List<RelationalFormula>	AssociativeFOLFormula.subList(int fromIndex, int toIndex)

Methods in net.sf.tweety.logics.fol.syntax with parameters of type RelationalFormula

Modifier and Type	Method and Description
void	AssociativeFOLFormula.add(int index, RelationalFormula element)
boolean	AssociativeFOLFormula.add(RelationalFormula e)
RelationalFormula	AssociativeFOLFormula.set(int index, RelationalFormula element)

Method parameters in net.sf.tweety.logics.fol.syntax with type arguments of type RelationalFormula

Modifier and Type	Method and Description
boolean	AssociativeFOLFormula.addAll(Collection<? extends RelationalFormula> c)
boolean	AssociativeFOLFormula.addAll(int index, Collection<? extends RelationalFormula> c)

Constructors in net.sf.tweety.logics.fol.syntax with parameters of type RelationalFormula

Constructor and Description
AssociativeFOLFormula(RelationalFormula first, RelationalFormula second) Creates a new associative formula with the two given formulae
Conjunction(RelationalFormula first, RelationalFormula second) Creates a new conjunction with the two given formulae
Disjunction(RelationalFormula first, RelationalFormula second) Creates a new disjunction with the two given formulae
ExistsQuantifiedFormula(RelationalFormula folFormula, Set<net.sf.tweety.logics.commons.syntax.Variable> variables) Creates a new exists-quantified formula with the given formula and variables.
ForallQuantifiedFormula(RelationalFormula folFormula, Set<net.sf.tweety.logics.commons.syntax.Variable> variables) Creates a new for-all-quantified formula with the given formula and variables.
Negation(RelationalFormula formula)
QuantifiedFormula(RelationalFormula folFormula, Set<net.sf.tweety.logics.commons.syntax.Variable> variables) Creates a new quantified folFormula with the given folFormula and variables.

Constructor parameters in net.sf.tweety.logics.fol.syntax with type arguments of type RelationalFormula

Constructor and Description
AssociativeFOLFormula(Collection<? extends RelationalFormula> formulas) Creates a new associative formula with the given inner formulas.
Conjunction(Collection<? extends RelationalFormula> formulas) Creates a new conjunction with the given inner formulas.
Disjunction(Collection<? extends RelationalFormula> formulas) Creates a new disjunction with the given inner formulas.