Uses of Class
toolbus.environment.Binding

Packages that use Binding

toolbus	This package implements the ToolBus coordination architecture.
toolbus.environment

Uses of Binding in toolbus

Method parameters in toolbus with type arguments of type Binding

private boolean	TBTermFactory.performMatch(aterm.ATerm left, Environment leftEnv, java.util.List<Binding> leftDeltaEnv, aterm.ATerm right, Environment rightEnv, java.util.List<Binding> rightDeltaEnv)
private boolean	TBTermFactory.performMatch(aterm.ATerm left, Environment leftEnv, java.util.List<Binding> leftDeltaEnv, aterm.ATerm right, Environment rightEnv, java.util.List<Binding> rightDeltaEnv)
private boolean	TBTermFactory.performPatternMatch(aterm.ATerm pattern, Environment patternEnv, aterm.ATerm value, java.util.List<Binding> deltaEnv)

Uses of Binding in toolbus.environment

Fields in toolbus.environment with type parameters of type Binding

private java.util.LinkedList<Binding>

ListBindings.bindings

Methods in toolbus.environment that return Binding

Binding	Bindings.get(java.lang.String key) Return the first binding of for a given key value
Binding	ListBindings.get(java.lang.String key)
Binding	Environment.getBinding(TBTermVar var) getValue fetches the value of a variable.

Methods in toolbus.environment that return types with arguments of type Binding

java.util.List<Binding>	Bindings.getBindingsAsList() Returns a copy of the content of the bindings as a list.
java.util.List<Binding>	Environment.getBindingsAsList()
java.util.List<Binding>	ListBindings.getBindingsAsList()

Methods in toolbus.environment with parameters of type Binding

void	Bindings.put(java.lang.String key, Binding binding) Introduce a new (key, binding) pair
void	ListBindings.put(java.lang.String key, Binding b)