Uses of Class
wyal.lang.WyalFile.Declaration.Assert

Packages that use WyalFile.Declaration.Assert

Package	Description
wyal.commands
wyal.io
wyal.lang
wyal.util
wytp.proof
wytp.proof.util

Uses of WyalFile.Declaration.Assert in wyal.commands

Methods in wyal.commands with parameters of type WyalFile.Declaration.Assert

Modifier and Type	Method and Description
void	VerifyCommand.findCounterexamples(WyalFile.Declaration.Assert assertion, wybs.util.StdProject project)

Uses of WyalFile.Declaration.Assert in wyal.io

Methods in wyal.io with parameters of type WyalFile.Declaration.Assert

Modifier and Type	Method and Description
void	WyalFilePrinter.write(WyalFile wf, WyalFile.Declaration.Assert s)

Uses of WyalFile.Declaration.Assert in wyal.lang

Methods in wyal.lang that return WyalFile.Declaration.Assert

Modifier and Type	Method and Description
WyalFile.Declaration.Assert	WyalFile.Declaration.Assert.clone(wybs.lang.SyntacticItem[] operands)

Constructors in wyal.lang with parameters of type WyalFile.Declaration.Assert

Constructor and Description
VerificationError(WyalFile.Declaration.Assert parent)

Uses of WyalFile.Declaration.Assert in wyal.util

Methods in wyal.util with parameters of type WyalFile.Declaration.Assert

Modifier and Type	Method and Description
Interpreter.Result	Interpreter.evaluate(WyalFile.Declaration.Assert a)

Uses of WyalFile.Declaration.Assert in wytp.proof

Methods in wytp.proof that return WyalFile.Declaration.Assert

Modifier and Type	Method and Description
WyalFile.Declaration.Assert	Proof.getAssertion() Get the assertion to which this proof applies.

Uses of WyalFile.Declaration.Assert in wytp.proof.util

Fields in wytp.proof.util declared as WyalFile.Declaration.Assert

Modifier and Type	Field and Description
protected WyalFile.Declaration.Assert	AbstractProof.assertion

Methods in wytp.proof.util that return WyalFile.Declaration.Assert

Modifier and Type	Method and Description
WyalFile.Declaration.Assert	AbstractProof.getAssertion()

Constructors in wytp.proof.util with parameters of type WyalFile.Declaration.Assert

Constructor and Description
AbstractProof(WyalFile.Declaration.Assert assertion, wybs.lang.SyntacticHeap heap)
DeltaProof(WyalFile.Declaration.Assert assertion, wybs.lang.SyntacticHeap heap, Formula axiom)