|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |