Uses of Interface
dev.civl.sarl.IF.ModelResult

Packages that use ModelResult

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

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

Methods in dev.civl.sarl.prove.IF that return ModelResult

Modifier and Type	Method	Description
static ModelResult	Prove.modelResult(Map<SymbolicConstant,SymbolicExpression> model)	Constructs a new ModelResult wrapping the given mapping from symbolic constants to symbolic expressions.