Module dev.civl.sarl

Package dev.civl.sarl.IF

Interface ModelResult

All Superinterfaces:

ValidityResult

public interface ModelResult
extends ValidityResult

A result to a validity query which also requested a model in case the answer was "NO", and for which the answer was "NO". The model may nevertheless be null, indicating the model could not be constructed for some reason (even though the query is known to be invalid).

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.ValidityResult

ValidityResult.ResultType

Method Summary

Modifier and Type	Method	Description
Map<SymbolicConstant,SymbolicExpression>	getModel()	Returns the model, a map assigning a concrete symbolic expression value to each symbolic constant occurring in the query.

Methods inherited from interface dev.civl.sarl.IF.ValidityResult

getResultType

Method Details

getModel

Map<SymbolicConstant,SymbolicExpression> getModel()

Returns the model, a map assigning a concrete symbolic expression value to each symbolic constant occurring in the query. May be null.

Returns:

the model or null