Uses of Interface
org.omwg.ontology.Variable

Packages that use Variable

org.omwg.logicalexpression
org.omwg.logicalexpression.terms
org.wsmo.factory
org.wsmo.service

Uses of Variable in org.omwg.logicalexpression

Methods in org.omwg.logicalexpression that return types with arguments of type Variable

Set<Variable>

Quantified.listVariables()

Method parameters in org.omwg.logicalexpression with type arguments of type Variable

void	Quantified.setVariables(Set<Variable> variables)

Uses of Variable in org.omwg.logicalexpression.terms

Methods in org.omwg.logicalexpression.terms with parameters of type Variable

void	Visitor.visitVariable(Variable t)

Uses of Variable in org.wsmo.factory

Methods in org.wsmo.factory that return Variable

Variable	LogicalExpressionFactory.createVariable(String varName) Creates a new Variable instance
Variable	WsmoFactory.getVariable(String name) Return existing Varible instance

Methods in org.wsmo.factory with parameters of type Variable

ExistentialQuantification	LogicalExpressionFactory.createExistentialQuantification(Variable variable, LogicalExpression expr) creates a universally quantified expression (e.g.
UniversalQuantification	LogicalExpressionFactory.createUniversalQuantification(Variable variable, LogicalExpression expr) creates a universally quantified expression (e.g.

Method parameters in org.wsmo.factory with type arguments of type Variable

ExistentialQuantification	LogicalExpressionFactory.createExistentialQuantification(Set<Variable> variables, LogicalExpression expr) creates a existentialy quantified expression (e.g.
UniversalQuantification	LogicalExpressionFactory.createUniversalQuantification(Set<Variable> variables, LogicalExpression expr) creates a universally quantified expression (e.g.

Uses of Variable in org.wsmo.service

Methods in org.wsmo.service that return types with arguments of type Variable

Set<Variable>

Capability.listSharedVariables() returns the set of shared variables used by the logical expressions of this capability.

Methods in org.wsmo.service with parameters of type Variable

void	Capability.addSharedVariable(Variable var) Adds a new shared variable to the list of variables used by the logical expressions of this capability.
void	Capability.removeSharedVariable(Variable var) Removes a shared variable from the list of variables used by the logical expressions of this capability.