Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate

Uses of Predicate in de.uni_tuebingen.sfb.lichtenstein.formulas

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return types with arguments of type Predicate

Set<Predicate>	ImmediateDominance.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	FirstOrderEquality.getPredicates() Return all predicates in this formula.
Set<Predicate>	Inclusion.getPredicates() Return all predicates in this formula.
Set<Predicate>	Subset.getPredicates() Return all predicates in this formula.
Set<Predicate>	SecondOrderQuantor.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	ProperDominance.getPredicates() Return all predicates in this formula.
Set<Predicate>	UnaryJunctor.getPredicates() Return all predicates in this formula.
Set<Predicate>	FirstOrderQuantor.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	Formula.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	SecondOrderEquality.getPredicates() Return all predicates in this formula.
Set<Predicate>	Precedence.getPredicates() Return all predicates in this formula.
Set<Predicate>	Dominance.getPredicates() Return all predicates in this formula.
Set<Predicate>	NaryJunctor.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	BinaryJunctor.getPredicates() Return all predicates that occur in this formula.