Uses of Class
dev.civl.sarl.IF.TheoremProverException

Packages that use TheoremProverException

Package	Description
dev.civl.sarl.prove.IF	Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.

Uses of TheoremProverException in dev.civl.sarl.prove.IF

Methods in dev.civl.sarl.prove.IF that throw TheoremProverException

Modifier and Type	Method	Description
ValidityResult	TheoremProver.unsat(BooleanExpression predicate)	Attempts to determine whether the statement p(x) invalid input: '&'invalid input: '&' q(x) is unsatisfiable.