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

Packages that use Predicate

de.uni_tuebingen.sfb.lichtenstein.formulas
de.uni_tuebingen.sfb.lichtenstein.formulas.parsing

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Predicate

static Predicate

Predicate.getInstance(String name) Factory method to get a predicate.

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

protected Set<Predicate>	BinaryJunctor.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	ImmediateDominance.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	Inclusion.computePredicates() Return all predicates in this formula.
protected abstract Set<Predicate>	FormulaImpl.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	Dominance.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	FirstOrderEquality.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	UnaryJunctor.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	Subset.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	FirstOrderQuantor.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	ProperDominance.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	Precedence.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	NaryJunctor.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	SecondOrderEquality.computePredicates() Return all predicates in this formula.
protected Set<Predicate>	SecondOrderQuantor.computePredicates() Compute the set of predicates in this formula.
protected Set<Predicate>	ImmediatePrecedence.computePredicates() Return all predicates in this formula.
Set<Predicate>	Formula.getPredicates() Return all predicates that occur in this formula.
Set<Predicate>	FormulaImpl.getPredicates() Return all predicates that occur in this formula.

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas.parsing that return Predicate

Predicate

fsqParser.label()