org.wsmo.service.choreography.rule
Interface ChoreographyQuantifiedRule

All Superinterfaces:

ChoreographyRule, ChoreographyTransitionRule, Rule

All Known Subinterfaces:

ChoreographyChoose, ChoreographyForAll

All Known Implementing Classes:

AbstractQuantifiedRuleRI, ChooseRI, ForAllRI

public interface ChoreographyQuantifiedRule
extends ChoreographyTransitionRule

A quantified rule is a sub-class of Transition Rule such did it defines quantified variables. Such rules take the form of "forall" and "choose"

     Created on Jul 26, 2005
     Committed by $Author: vassil_momtchev $
     $Source$
 

Version:

$Revision: 1844 $ $Date: 2006-10-24 17:11:48 +0300 (Tue, 24 Oct 2006) $

Author:

James Scicluna, Thomas Haselwanter, Holger Lausen

Method Summary

void	addVariable(org.omwg.ontology.Variable var) Adds a quantified variable object
void	addVariables(Set<org.omwg.ontology.Variable> variables) Adds a quantified variable object
Set<org.omwg.ontology.Variable>	listVariables() Returns the set of Variable objects which are quantified by the Rule
void	removeVariable(org.omwg.ontology.Variable var) Removes a quantified variable object from the rule

Methods inherited from interface org.wsmo.service.choreography.rule.ChoreographyTransitionRule

addRule, addRules, clearNestedRules, getCondition, listNestedRules, removeRule, setCondition, setRules

Methods inherited from interface org.wsmo.service.rule.Rule

accept, toString

Method Detail

listVariables

Set<org.omwg.ontology.Variable> listVariables()

Returns the set of Variable objects which are quantified by the Rule

Returns:

Set of Variable objects

addVariable

void addVariable(org.omwg.ontology.Variable var)

Adds a quantified variable object

Parameters:

var - Variable object

addVariables

void addVariables(Set<org.omwg.ontology.Variable> variables)

Adds a quantified variable object

Parameters:

variables - Variable object

removeVariable

void removeVariable(org.omwg.ontology.Variable var)

Removes a quantified variable object from the rule

Parameters:

var - Variable object to be removed