A B C D E F G H I J K L M N O P Q R S T U V W X _

V

validate() - Method in class rwth.i2.ltlrv.afastate.base.AbstractAFAState

Implementation of IAFAState.validate().

validate(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.AbstractAFAState

To be implemented by actual formulae as described in IAFAState.validate().

validate(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

To be implemented by actual formulae as described in IAFAState.validate().

validate(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

To be implemented by actual formulae as described in IAFAState.validate().

validate(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

To be implemented by actual formulae as described in IAFAState.validate().

validate(Set<String>) - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

To be implemented by actual formulae as described in IAFAState.validate().

validate() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

Validates a formula for consistent bindings.

validCombinations(WeakValuesMap<String, Set<Object>>) - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns an iterable over all valid combinations of a set of bindings.

validCombinations(WeakValuesMap<String, Set<Object>>, Map<String, Object>, Collection<WeakValuesMap<String, Object>>) - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns an iterable over all valid combinations of a set of bindings.

validCombinationsOfBindings() - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns an iterable over all valid combinations of bindings.

valueOf(String) - Static method in enum rwth.i2.ltlrv.afastate.interfaze.IAFAState.VariableKind

Returns the enum constant of this type with the specified name.

values() - Static method in enum rwth.i2.ltlrv.afastate.interfaze.IAFAState.VariableKind

Returns an array containing the constants of this enum type, in the order they're declared.

variableNames() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IIfClosure

Returns all variables required to evaluate this closure.

variableNamesInIfClosures() - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

Returns the set of variables that are contained in if-closures (including those that are bound by this pointcut).

varsInIfClosure - Variable in class rwth.i2.ltlrv.afastate.impl.Proposition

VerificationRuntime - Class in rwth.i2.ltlrv.management

VerificationRuntime - Runtime manager holding formula configurations and notifying listeners about the ongoing evaluations.

VerificationRuntime() - Constructor for class rwth.i2.ltlrv.management.VerificationRuntime

Default constructor.

VerificationRuntime.Listener - Interface in rwth.i2.ltlrv.management

Listener - Interface for listers that wish to be notified about evaluation progress.