Uses of Class
wytp.proof.Formula.Quantifier

Packages that use Formula.Quantifier

Package	Description
wytp.proof
wytp.proof.rules
wytp.proof.util

Uses of Formula.Quantifier in wytp.proof

Methods in wytp.proof that return Formula.Quantifier

Modifier and Type	Method and Description
Formula.Quantifier	Formula.Quantifier.clone(wybs.lang.SyntacticItem[] children)

Uses of Formula.Quantifier in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type Formula.Quantifier

Modifier and Type	Method and Description
Formula	Simplification.simplifyQuantifier(Formula.Quantifier quantifier) Simplify a quantified formula.

Uses of Formula.Quantifier in wytp.proof.util

Methods in wytp.proof.util with parameters of type Formula.Quantifier

Modifier and Type	Method and Description
static <T extends WyalFile.Expr> List<T>	AbstractProofRule.extractDefinedTerms(wybs.lang.SyntacticItem item, int kind, Formula.Quantifier... stack) Search through a given syntactic item looking for matching ground terms which are guaranteed to be defined in the given state.