Uses of Enum Class
dev.civl.sarl.IF.ValidityResult.ResultType

Packages that use ValidityResult.ResultType

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.IF.expr	The public interface package dealing with symbolic expressions.
dev.civl.sarl.prove.IF	Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.

Uses of ValidityResult.ResultType in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return ValidityResult.ResultType

Modifier and Type	Method	Description
ValidityResult.ResultType	ValidityResult.getResultType()	Returns the result type of this result.
static ValidityResult.ResultType	ValidityResult.ResultType.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ValidityResult.ResultType[]	ValidityResult.ResultType.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Uses of ValidityResult.ResultType in dev.civl.sarl.IF.expr

Methods in dev.civl.sarl.IF.expr that return ValidityResult.ResultType

Modifier and Type	Method	Description
ValidityResult.ResultType	BooleanExpression.getUnsatisfiability()	Is this boolean expression unsatisfiable, i.e., equivalent to false,? The result is cached here for convenience, using method invalid reference #setUnsatisfiable(ResultType) .
ValidityResult.ResultType	BooleanExpression.getValidity()	Is this boolean expression valid, i.e., equivalent to true, i.e., a tautology? The result is cached here for convenience, using method BooleanExpression.setValidity(ResultType).

Methods in dev.civl.sarl.IF.expr with parameters of type ValidityResult.ResultType

Modifier and Type	Method	Description
void	BooleanExpression.setUnsatisfiability(ValidityResult.ResultType value)	Store the unsatisfiability result for this boolean expression.
void	BooleanExpression.setValidity(ValidityResult.ResultType value)	Store the validity result for this boolean expression.

Uses of ValidityResult.ResultType in dev.civl.sarl.prove.IF

Methods in dev.civl.sarl.prove.IF with parameters of type ValidityResult.ResultType

Modifier and Type	Method	Description
static ValidityResult	Prove.validityResult(ValidityResult.ResultType type)	Returns one of the constants Prove.RESULT_YES, Prove.RESULT_NO, Prove.RESULT_MAYBE, corresponding to the given type.