Uses of Class
rwth.i2.ltlrv.data.PropositionSet

Packages that use PropositionSet

rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.afastate.interfaze	Common interfaces for all AFA states.
rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.

Uses of PropositionSet in rwth.i2.ltlrv.afastate.base

Methods in rwth.i2.ltlrv.afastate.base with parameters of type PropositionSet

protected abstract void	AbstractAFAState.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	AbstractAFAState.transition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs a transition on this term under the given propositions and bindings.

Uses of PropositionSet in rwth.i2.ltlrv.afastate.impl

Methods in rwth.i2.ltlrv.afastate.impl with parameters of type PropositionSet

void	Until.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	TT.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	Release.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	Proposition.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	Or.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	Not.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	Next.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	FF.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.
void	And.doTransition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs the actual transition based on the current context.

Uses of PropositionSet in rwth.i2.ltlrv.afastate.interfaze

Methods in rwth.i2.ltlrv.afastate.interfaze with parameters of type PropositionSet

void	IAFAState.transition(Set<String> context, PropositionSet currentProps, WeakValuesMap<String,Object> currentBinding, Set<Set<IAFAState>> result) Performs a transition on this term under the given propositions and bindings.

Uses of PropositionSet in rwth.i2.ltlrv.management

Methods in rwth.i2.ltlrv.management with parameters of type PropositionSet

static void	Debug.logPropositions(String formulaId, PropositionSet currentPropositions)
(package private) void	Configuration.transition(PropositionSet props) Performs a transition for the given propositions.
private static Set<Set<IAFAState>>	Configuration.transition(Set<Set<IAFAState>> globalState, PropositionSet currentProps) Performs a transition from the given state (set of clauses) to the sucessor state for the given set of propositions.
void	VerificationRuntime.updateFormula(String formulaId, PropositionSet currentPropositions) Requests that the formula with the given ID shall be updated.