Uses of Interface
rwth.i2.ltlrv.data.WeakValuesMap

Packages that use WeakValuesMap

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.data	Holds some special data structures.
rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.

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

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

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.
IAFAState	UnaryAFAState.specializeBindings(WeakValuesMap<String,Object> bindings) Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.
IAFAState	NullaryAFAState.specializeBindings(WeakValuesMap<String,Object> bindings) Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.
IAFAState	BinaryAFAState.specializeBindings(WeakValuesMap<String,Object> bindings) Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.
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 WeakValuesMap in rwth.i2.ltlrv.afastate.impl

Fields in rwth.i2.ltlrv.afastate.impl declared as WeakValuesMap

protected WeakValuesMap<String,Object>

Proposition.bindings Bindings of formal parameters for this proposition.

Methods in rwth.i2.ltlrv.afastate.impl that return WeakValuesMap

private WeakValuesMap<String,Object>	Next.filterBinding(Set<String> context, WeakValuesMap<String,Object> binding) Filters bindings for those which are contained in the given context.
WeakValuesMap<String,Object>	Proposition.getBindings() Returns a copy of all bindings in this proposition.

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

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.
private WeakValuesMap<String,Object>	Next.filterBinding(Set<String> context, WeakValuesMap<String,Object> binding) Filters bindings for those which are contained in the given context.
IProposition	Proposition.specializeBindings(WeakValuesMap<String,Object> specializedBindings)

Constructors in rwth.i2.ltlrv.afastate.impl with parameters of type WeakValuesMap

Proposition(String label, WeakValuesMap<String,Object> bindings)
Deprecated.

Proposition(String label, WeakValuesMap<String,Object> bindings, String[] provides, Collection<IIfClosure> ifClosures)
Constructs a new proposition with the given label and bindings of formals to actual objects.

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

Methods in rwth.i2.ltlrv.afastate.interfaze that return WeakValuesMap

WeakValuesMap<String,Object>

IProposition.getBindings() Returns a copy of all bindings in this proposition.

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

boolean	IIfClosure.satisfiedUnderBindings(WeakValuesMap<String,Object> currentBinding) Evaluates the given booelan expression under the given bindings.
IProposition	IProposition.specializeBindings(WeakValuesMap<String,Object> bindings) Specialized return type, for convenience.
IAFAState	IAFAState.specializeBindings(WeakValuesMap<String,Object> bindings) Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.
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 WeakValuesMap in rwth.i2.ltlrv.data

Classes in rwth.i2.ltlrv.data that implement WeakValuesMap

class

WeakValuesHashMap<K,V> HashMap with weak keys.

Fields in rwth.i2.ltlrv.data declared as WeakValuesMap

private static WeakValuesMap

WeakValuesMap.Util.EMPTY_MAP

Methods in rwth.i2.ltlrv.data that return WeakValuesMap

private WeakValuesMap<String,Set<Object>>	PropositionSet.containedBindings() Returns the set of contained bindings in the form a={a2,a2},b={b2},... for bindings a=a1, a=a2 and b=b1.
static <K,V> WeakValuesMap<K,V>	WeakValuesMap.Util.emptyMap()

Methods in rwth.i2.ltlrv.data that return types with arguments of type WeakValuesMap

private Collection<WeakValuesMap<String,Object>>	PropositionSet.validCombinations(WeakValuesMap<String,Set<Object>> bindings) Returns an iterable over all valid combinations of a set of bindings.
Iterable<WeakValuesMap<String,Object>>	PropositionSet.validCombinationsOfBindings() Returns an iterable over all valid combinations of bindings.

Methods in rwth.i2.ltlrv.data with parameters of type WeakValuesMap

private Collection<WeakValuesMap<String,Object>>	PropositionSet.validCombinations(WeakValuesMap<String,Set<Object>> bindings) Returns an iterable over all valid combinations of a set of bindings.
private void	PropositionSet.validCombinations(WeakValuesMap<String,Set<Object>> bindings, Map<String,Object> accummulator, Collection<WeakValuesMap<String,Object>> result) Returns an iterable over all valid combinations of a set of bindings.

Method parameters in rwth.i2.ltlrv.data with type arguments of type WeakValuesMap

private void

PropositionSet.validCombinations(WeakValuesMap<String,Set<Object>> bindings, Map<String,Object> accummulator, Collection<WeakValuesMap<String,Object>> result) Returns an iterable over all valid combinations of a set of bindings.

Uses of WeakValuesMap in rwth.i2.ltlrv.management

Methods in rwth.i2.ltlrv.management that return WeakValuesMap

private static WeakValuesMap<String,Object>

Configuration.filterBindingForCurrentJoinpoint(WeakValuesMap<String,Object> binding, Collection<String> unboundVariablesAtCurrentJoinpoint) Filters a binding for those entries that are unbound at the current joinpoint.

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

private static WeakValuesMap<String,Object>	Configuration.filterBindingForCurrentJoinpoint(WeakValuesMap<String,Object> binding, Collection<String> unboundVariablesAtCurrentJoinpoint) Filters a binding for those entries that are unbound at the current joinpoint.
IProposition	IFormulaFactory.Proposition(String label, WeakValuesMap<String,Object> bindings) Deprecated.
IProposition	FormulaFactory.Proposition(String label, WeakValuesMap<String,Object> bindings) Deprecated.