model

Class ReactiveRule

java.lang.Object

model.ReactiveRule

All Implemented Interfaces:

PCExpression

public class ReactiveRule
extends Object
implements PCExpression

This class represents the reactive rules of a LPS framework.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
private List<String>	actions
private Clause	causes
private SimpleSentence	goal

Constructor Summary

Constructors

Constructor and Description
ReactiveRule(Clause conditions, SimpleSentence goal) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
List<SimpleSentence>	fireRule(RuleSet database) Fires the goals of the rule.
List<String>	getActions() Gets the actions that are in the condition clause.
ReactiveRule	replaceVariables(SubstitutionSet s) Replaces all the variables in the reactive rule according to the specified bindings.
ReactiveRule	standardizeVariablesApart(Hashtable<Variable,Variable> newVars) Standardizes the variables in order to be sure that there won't be any variable clashes.
String	toString() Returns the reactive rule in the form of: "(conditions) -> goal".

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

causes

private Clause causes

goal

private SimpleSentence goal

actions

private List<String> actions

Constructor Detail

ReactiveRule

public ReactiveRule(Clause conditions,
            SimpleSentence goal)

Constructor of the class.

Parameters:

conditions - the conditions of the reactive rule. This is the left part of the implication.

goal - the goal to fire if the conditions are true. This is the right part of the implication.

Method Detail

getActions

public List<String> getActions()

Gets the actions that are in the condition clause.

Returns:

an ArrayList containing all the actions in the condition clause.

fireRule

public List<SimpleSentence> fireRule(RuleSet database)

Fires the goals of the rule. Each goal represents a different bindings of the variables of the conditions that make it true.

Parameters:

database - the table of truth to which the conditions are submitted to be checked.

Returns:

an List object containing all the goals created.

replaceVariables

public ReactiveRule replaceVariables(SubstitutionSet s)

Replaces all the variables in the reactive rule according to the specified bindings.

This method is recursive over all PCExpression implementations.

Specified by:

replaceVariables in interface PCExpression

Parameters:

s - the SubstitutionSet that contains the bindings of the variables so far.

Returns:

a ReactiveRule object representing the bound reactive rule.

See Also:

PCExpression.replaceVariables(model.SubstitutionSet)

standardizeVariablesApart

public ReactiveRule standardizeVariablesApart(Hashtable<Variable,Variable> newVars)

Standardizes the variables in order to be sure that there won't be any variable clashes.

This method is recursive over all PCExpression implementations.

Specified by:

standardizeVariablesApart in interface PCExpression

Parameters:

newVars - is a parameter to save over the recursion all the variable replacements done so far.

Returns:

a ReactiveRule object representing the standardized reactive rule.

See Also:

PCExpression.standardizeVariablesApart(java.util.Hashtable)

toString

public String toString()

Returns the reactive rule in the form of: "(conditions) -> goal".

Overrides:

toString in class Object

See Also:

Object.toString()