model

Class GoalsList

java.lang.Object

model.GoalsList

public class GoalsList
extends Object

This is a singleton class that represents the goals list of the framework. It contains the method to solve the goals.

The constructor is private as you must not use it. Instead use the getInstance() method to get the only object of the class (or to create it).

Author:

Alexandre Camus

See Also:

solveGoals(RuleSet, RuleSet)

Field Summary

Fields

Modifier and Type	Field and Description
private GoalSet	goalsDefinitions
private Map<Goal,AbstractSolutionNode>	goalsList
private static GoalsList	instance
private RuleSet	nextEvents

Constructor Summary

Constructors

Modifier	Constructor and Description
private	GoalsList() Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
void	addGoal(SimpleSentence goal, RuleSet ruleSet) Adds the specified goal to the list of goals.
void	addNextEvent(SimpleSentence event) Adds the specified event to the list of events that will be performed during the next cycle.
private boolean	backtrack(AbstractSolutionNode leaf, Goal goal, RuleSet rulesAndEvents, RuleSet ruleSet, RuleSet events)
GoalSet	getGoalsDefinitions() Gets the goals definitions set.
static GoalsList	getInstance() This is the method to get an instance of the class.
void	setGoalsDefinitions(GoalSet goalsDefinitions) Sets the goals definitions set.
boolean	solveGoal(Goal goal, RuleSet ruleSet, RuleSet events, RuleSet rulesAndEvents) Solves the specified goal.
void	solveGoals(RuleSet ruleSet, RuleSet events) Solves all the goal in the list.
String	toString() Returns the set in the form of: "{ [definitionChosen] => [currentNode] }".

Methods inherited from class java.lang.Object

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

Field Detail

nextEvents

private RuleSet nextEvents

goalsDefinitions

private GoalSet goalsDefinitions

goalsList

private Map<Goal,AbstractSolutionNode> goalsList

instance

private static volatile GoalsList instance

Constructor Detail

GoalsList

private GoalsList()

Constructor of the class.

Method Detail

getInstance

public static GoalsList getInstance()

This is the method to get an instance of the class. Use it as shown: Database.getInstance()

Returns:

the only instance of the class Database.

setGoalsDefinitions

public void setGoalsDefinitions(GoalSet goalsDefinitions)

Sets the goals definitions set.

Parameters:

goalsDefinitions - the set containing all the goals definitions.

getGoalsDefinitions

public GoalSet getGoalsDefinitions()

Gets the goals definitions set.

Returns:

a GoalSet object containing all the goals definitions.

addNextEvent

public void addNextEvent(SimpleSentence event)

Adds the specified event to the list of events that will be performed during the next cycle.

Parameters:

event - the event to add.

addGoal

public void addGoal(SimpleSentence goal,
           RuleSet ruleSet)

Adds the specified goal to the list of goals.

Parameters:

goal - the goal to add.

ruleSet - the rules to use to build the tree of proof.

backtrack

private boolean backtrack(AbstractSolutionNode leaf,
                Goal goal,
                RuleSet rulesAndEvents,
                RuleSet ruleSet,
                RuleSet events)

solveGoal

public boolean solveGoal(Goal goal,
                RuleSet ruleSet,
                RuleSet events,
                RuleSet rulesAndEvents)

Solves the specified goal. It starts from the last node and carries on, hopping the new cycle will provide new materials for the proof.

Parameters:

goal - the goal to solve.

ruleSet - the ruleSet to reset the tree with.

events - the events that have been used to update the database.

Returns:

true if the goal is solved. False otherwise.

solveGoals

public void solveGoals(RuleSet ruleSet,
              RuleSet events)

Solves all the goal in the list.

Parameters:

events - the events that have been performed during the cycle.

toString

public String toString()

Returns the set in the form of: "{ [definitionChosen] => [currentNode] }".

Overrides:

toString in class Object

See Also:

Object.toString()