uk.ac.man.cs.rainbow.deadlock
Interface ModelCheck.Evaluator

All Known Implementing Classes:

Propositions

Enclosing class:

ModelCheck

public static interface ModelCheck.Evaluator

Provides a proposition evaluation service to the model checker.

See Also:

StateEngine.Engine.getPropositionDescriptor(), ModelCheck.getEvaluator(), ModelCheck.setEvaluator(ModelCheck.Evaluator)

Method Summary

int	evaluatePropositions() Evaluate the list of propositions.

Method Detail

evaluatePropositions

public int evaluatePropositions()

Evaluate the list of propositions. There may be up to 32 propositions (formulae normally have far fewer.)

Returns:

A bit-encoding of the proposition values, with bit-0 (the first bit) corresponding to proposition p₁, bit-1 (the second bit) corresponding to proposition p₂, and so on.

See Also:

StateEngine.Engine.getPropositionDescriptor()