Uses of Class
escjava.prover.Formula

Packages that use Formula

escjava.prover

Uses of Formula in escjava.prover

Fields in escjava.prover declared as Formula

Formula

ProverResponse.formula A formula.

Methods in escjava.prover with parameters of type Formula

ProverResponse	Sammy.declare_axiom(Formula formula)
ProverResponse	Sammy.make_assumption(Formula formula)
ProverResponse	Sammy.is_valid(Formula formula, java.util.Properties properties)
abstract ProverResponse	NewProver.declare_axiom(Formula formula) Declare a new axiom in the current theory.
abstract ProverResponse	NewProver.make_assumption(Formula formula) Make an assumption.
abstract ProverResponse	NewProver.is_valid(Formula formula, java.util.Properties properties) Check the validity of the given formula given the current theory, its axioms, and the current set of assumptions.
ProverResponse	Harvey.declare_axiom(Formula formula)
ProverResponse	Harvey.make_assumption(Formula formula)
ProverResponse	Harvey.is_valid(Formula formula, java.util.Properties properties)
ProverResponse	Cvc3.declare_axiom(Formula formula) Same as make_asumption.
ProverResponse	Cvc3.make_assumption(Formula formula) Asserts a formula to cvc3.
ProverResponse	Cvc3.is_valid(Formula formula, java.util.Properties properties) Perform a query on a formula.