model

Class FactSet

java.lang.Object

model.FactSet

public class FactSet
extends Object

This class represents the updatable part of the database. This is the extensional clauses of the database.

The facts are stored as SimpleSentence in a Map sorted by name.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
private Map<String,List<SimpleSentence>>	facts

Constructor Summary

Constructors

Constructor and Description
FactSet(Map<String,List<SimpleSentence>> facts) Constructor of the class.
FactSet(SimpleSentence... facts) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
void	addFact(SimpleSentence fact) Adds the specified fact to the set, if the fact is not already true according to the method isTrue().
List<SimpleSentence>	getFact(String name) Gets the facts corresponding to the name of the parameter.
Map<String,List<SimpleSentence>>	getFacts() Gets the facts.
boolean	isTrue(Unifiable fact) Checks if the specified fact can be made true in the set.
void	removeFacts(Unifiable fact) Removes the fact specified in the parameter.
RuleSet	toRuleSet() Creates a RuleSet object containing the facts as its rules.
String	toString() Returns the set in the form of: "Facts: {factName=[factsOfThisName], otherName=[othersFacts]}".

Methods inherited from class java.lang.Object

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

Field Detail

facts

private Map<String,List<SimpleSentence>> facts

Constructor Detail

FactSet

public FactSet(SimpleSentence... facts)

Constructor of the class.

Parameters:

facts - an array of the facts to be stored in the set or each fact as a parameter.

FactSet

public FactSet(Map<String,List<SimpleSentence>> facts)

Constructor of the class.

Parameters:

facts - an array of the facts to be stored in the set or each fact as a parameter.

Method Detail

getFacts

public Map<String,List<SimpleSentence>> getFacts()

Gets the facts.

Returns:

the Map containing all the facts.

getFact

public List<SimpleSentence> getFact(String name)

Gets the facts corresponding to the name of the parameter.

Parameters:

name - the name of the facts to get.

Returns:

an List of the facts of the name name existing in the set.

removeFacts

public void removeFacts(Unifiable fact)

Removes the fact specified in the parameter.

Parameters:

fact - the fact to remove.

isTrue

public boolean isTrue(Unifiable fact)

Checks if the specified fact can be made true in the set.

The test is done thanks to the equal() function.

Parameters:

fact - that is checked if it is true in the set.

Returns:

true if it true in the set, otherwise false.

addFact

public void addFact(SimpleSentence fact)

Adds the specified fact to the set, if the fact is not already true according to the method isTrue().

Parameters:

fact - to add in the set.

toRuleSet

public RuleSet toRuleSet()

Creates a RuleSet object containing the facts as its rules.

Returns:

the RuleSet containing the facts.

toString

public String toString()

Returns the set in the form of: "Facts: {factName=[factsOfThisName], otherName=[othersFacts]}".

Overrides:

toString in class Object

See Also:

Object.toString()