model

Class Database

java.lang.Object

model.Database

public class Database
extends Object

This is a singleton class that represents the database of the framework. It contains the method to update itself.

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:

updates(RuleSet)

Field Summary

Fields

Modifier and Type	Field and Description
private DSet	dSet
private FactSet	factsDatabase
private static Database	instance
private Map<String,Integer>	limits
private RuleSet	rulesDatabase

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	addRulesDatabase(List<Rule> rules) Adds rules to the database.
DSet	getDSet() Gets the D set of the database.
static Database	getInstance() This is the method to get an instance of the class.
Map<String,Integer>	getLimits() Gets the limits of the fluents and the actions.
RuleSet	getRuleSet() Creates a RuleSet object that represents the state of the entire database (intensional and extensional).
void	setdSet(DSet dSet) Sets the domain theory of the database.
void	setFactsDatabase(FactSet factsDatabase) Sets the facts of the database.
void	setLimits(Map<String,Integer> limits) Sets the limits of the fluents and the actions.
void	setRulesDatabase(RuleSet rulesDatabase) Sets the rules of the database.
String	toString() Returns the database under the form of: " DB: Facts: { } Rules: { } ".
void	updates(RuleSet events) Updates the database when the step cycle asks so.

Methods inherited from class java.lang.Object

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

Field Detail

factsDatabase

private FactSet factsDatabase

rulesDatabase

private RuleSet rulesDatabase

dSet

private DSet dSet

limits

private Map<String,Integer> limits

instance

private static volatile Database instance

Constructor Detail

Database

private Database()

Constructor of the class. It is private as it must not be called. Use the method getInstance() instead.

See Also:

getInstance()

Method Detail

getInstance

public static Database 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.

setFactsDatabase

public void setFactsDatabase(FactSet factsDatabase)

Sets the facts of the database.

Parameters:

factsDatabase - the facts of the database to set

setRulesDatabase

public void setRulesDatabase(RuleSet rulesDatabase)

Sets the rules of the database.

Parameters:

rulesDatabase - the rules of the database to set

setLimits

public void setLimits(Map<String,Integer> limits)

Sets the limits of the fluents and the actions.

Parameters:

limits - the mapping between the name of fluents or actions and their limits.

getLimits

public Map<String,Integer> getLimits()

Gets the limits of the fluents and the actions.

Returns:

the mapping between the name of fluents or actions and their limits.

addRulesDatabase

public void addRulesDatabase(List<Rule> rules)

Adds rules to the database.

Parameters:

rules - the rules to add to the database.

setdSet

public void setdSet(DSet dSet)

Sets the domain theory of the database.

Parameters:

dSet - the D set of the database to set

getDSet

public DSet getDSet()

Gets the D set of the database.

Returns:

a DSet object representing the D set of the database.

toString

public String toString()

Returns the database under the form of: " DB: Facts: { } Rules: { } ".

Overrides:

toString in class Object

See Also:

Object.toString()

getRuleSet

public RuleSet getRuleSet()

Creates a RuleSet object that represents the state of the entire database (intensional and extensional).

Returns:

a RuleSet object containing all the rules of the database.

updates

public void updates(RuleSet events)

Updates the database when the step cycle asks so. This should be only used by a CycleState implementation.

Parameters:

events - the events that have been triggered during the previous cycle.

See Also:

DatabaseUpdateState