Uses of Class
org.jmlspecs.jml4.esc.vc.lang.VcBooleanConstant

Packages that use VcBooleanConstant

org.jmlspecs.jml4.esc.provercoordinator.prover
org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3
org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle
org.jmlspecs.jml4.esc.provercoordinator.prover.simplify
org.jmlspecs.jml4.esc.vc.lang

Uses of VcBooleanConstant in org.jmlspecs.jml4.esc.provercoordinator.prover

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover with parameters of type VcBooleanConstant

abstract java.lang.String	ProverVisitor.visit(VcBooleanConstant vcBool)
abstract java.lang.String	ProverVisitor.visitAsTerm(VcBooleanConstant vcBool)

Uses of VcBooleanConstant in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.cvc3 with parameters of type VcBooleanConstant

java.lang.String	Cvc3Visitor.visit(VcBooleanConstant vcBooleanConstant)
java.lang.String	Cvc3Visitor.visitAsTerm(VcBooleanConstant vcBooleanConstant)

Uses of VcBooleanConstant in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.isabelle with parameters of type VcBooleanConstant

java.lang.String	IsabelleVisitor.visit(VcBooleanConstant vcBooleanConstant)
java.lang.String	IsabelleVisitor.visitAsTerm(VcBooleanConstant vcBooleanConstant)

Uses of VcBooleanConstant in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify

Methods in org.jmlspecs.jml4.esc.provercoordinator.prover.simplify with parameters of type VcBooleanConstant

java.lang.String	SimplifyVisitor.visit(VcBooleanConstant bool)
java.lang.String	SimplifyVisitor.visitAsTerm(VcBooleanConstant bool)

Uses of VcBooleanConstant in org.jmlspecs.jml4.esc.vc.lang

Fields in org.jmlspecs.jml4.esc.vc.lang declared as VcBooleanConstant

static VcBooleanConstant

VcBooleanConstant.TRUE