model

Class RuleSet

java.lang.Object

model.RuleSet

public class RuleSet
extends Object

This class represents a table of truth. This can be the intensional clauses of the database or any table of truth from which it is needed to create a proof.

The rules are stored as Rule in an List.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
private int	extensional
private int	intensional
private List<Rule>	rules

Constructor Summary

Constructors

Constructor and Description
RuleSet(List<Rule> rules) Constructor of the class.
RuleSet(Rule... rules) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
void	addRule(Rule rule) Adds the specified rule.
void	addRules(List<Rule> rules) Adds all the rules that are in the specified List.
int	getExtensional() Gets the position of the last extensional rule.
int	getIntensional() Gets the position of the last intensional rule.
Rule	getRule(int index) Gets the rule at the specified position.
int	getRuleCount() Gets the size of the set.
List<Rule>	getRules() Gets all the rules of the set.
Rule	getRuleStandardizedApart(int index) Gets the standardized version of the rule number index.
void	setExtensional(int i) Sets the position of the last extensional rule.
void	setIntensional(int i) Sets the position of the last intensional rule.
String	toString() Returns the set in the form of: "{ rule1 rule2 ... }".

Methods inherited from class java.lang.Object

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

Field Detail

rules

private List<Rule> rules

intensional

private int intensional

extensional

private int extensional

Constructor Detail

RuleSet

public RuleSet(Rule... rules)

Constructor of the class.

Parameters:

rules - the rules of the set in an array or as independent arguments.

RuleSet

public RuleSet(List<Rule> rules)

Constructor of the class.

Parameters:

rules - an List object containing the rules of the set.

Method Detail

setIntensional

public void setIntensional(int i)

Sets the position of the last intensional rule.

Parameters:

i - the index of the last intensional rule.

getIntensional

public int getIntensional()

Gets the position of the last intensional rule.

Returns:

the index of the last intensional rule.

setExtensional

public void setExtensional(int i)

Sets the position of the last extensional rule.

Parameters:

i - the index of the last extensional rule.

getExtensional

public int getExtensional()

Gets the position of the last extensional rule.

Returns:

the index of the last extensional rule.

getRuleStandardizedApart

public Rule getRuleStandardizedApart(int index)

Gets the standardized version of the rule number index. This uses the method standardizeVariablesApart() on the rule at the specified index.

Parameters:

index - the position of the rule in the set.

Returns:

a Rule object representing the standardized rule which was at the specified position.

getRule

public Rule getRule(int index)

Gets the rule at the specified position.

Parameters:

index - the position of the rule

Returns:

the Rule object representing the specified rule.

getRules

public List<Rule> getRules()

Gets all the rules of the set.

Returns:

an List object containing the rules of the set.

getRuleCount

public int getRuleCount()

Gets the size of the set. The size of the set is simply the number of rules in the set.

Returns:

the number of rules in the set.

addRules

public void addRules(List<Rule> rules)

Adds all the rules that are in the specified List.

Parameters:

rules - the List object containing the rules to add.

addRule

public void addRule(Rule rule)

Adds the specified rule.

Parameters:

rule - the Rule object representing the rule to add.

toString

public String toString()

Returns the set in the form of: "{ rule1 rule2 ... }".

Overrides:

toString in class Object

See Also:

Object.toString()