Package edu.udel.cis.vsl.sarl.prove.common

Class CommonModelResult

java.lang.Object

edu.udel.cis.vsl.sarl.prove.common.CommonValidityResult

edu.udel.cis.vsl.sarl.prove.common.CommonModelResult

All Implemented Interfaces:

ModelResult, ValidityResult

public class CommonModelResult
extends CommonValidityResult
implements ModelResult

Straightforward implementation of ModelResult using a Java Map to store the mapping of symbolic constants to their concrete values.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.ValidityResult

ValidityResult.ResultType

Constructor Summary

Constructors

Constructor	Description
CommonModelResult(Map<SymbolicConstant,SymbolicExpression> model)	Constructs new ModelResult with given model.

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 class edu.udel.cis.vsl.sarl.prove.common.CommonValidityResult

getResultType, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.ValidityResult

getResultType

Constructor Details

CommonModelResult

public CommonModelResult(Map<SymbolicConstant,SymbolicExpression> model)

Constructs new ModelResult with given model. The result type will be ValidityResult.ResultType.NO.

Parameters:

model - the model, a map assigning a concrete symbolic expression value to each symbolic constant occurring in the query; may be null

Method Details

getModel

public 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.

Specified by:

getModel in interface ModelResult

Returns:

the model or null