Package org.tweetyproject.arg.deductive.syntax

Class SimplePlRule

java.lang.Object

org.tweetyproject.arg.deductive.syntax.SimplePlRule

All Implemented Interfaces:

Formula, Rule<PlFormula,PlFormula>

public class SimplePlRule
extends Object
implements Rule<PlFormula,PlFormula>

Represents a simple propositional logic rule. The rule consists of a set of premises (support) and a conclusion (claim). The premises and conclusion are propositional logic formulas (PlFormula). This class implements the Rule interface and provides basic functionality for manipulating and querying the premises and conclusion of the rule.

Author:

Federico Cerutti (federico.cerutti@acm.org)

Constructor Summary

Constructors

Constructor	Description
SimplePlRule()	Default constructor.
SimplePlRule(PlFormula _claim)	Constructs a rule with the specified conclusion and an empty set of premises.
SimplePlRule(PlFormula _claim, Set<PlFormula> _support)	Constructs a rule with the specified conclusion and set of premises.

Method Summary

Modifier and Type	Method	Description
void	addPremise(PlFormula arg0)	Adds a premise to the rule.
void	addPremises(Collection<? extends PlFormula> arg0)	Adds a collection of premises to the rule.
boolean	equals(Object obj)	Checks if this rule is equal to another object.
PlFormula	getConclusion()	Retrieves the conclusion (claim) of the rule.
Collection<? extends PlFormula>	getPremise()	Retrieves the premises (support) of the rule.
Signature	getSignature()	Retrieves the signature of the rule, which includes the signature of both the premises and the conclusion.
int	hashCode()	Computes the hash code for this rule based on the premises.
boolean	isConstraint()	Determines if this rule is a constraint.
boolean	isFact()	Determines if this rule is a fact.
void	setConclusion(PlFormula arg0)	Sets the conclusion (claim) of the rule.
String	toString()	Returns a string representation of this rule.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SimplePlRule

public SimplePlRule()

Default constructor. Initializes the rule with no conclusion and an empty set of premises.

SimplePlRule

public SimplePlRule(PlFormula _claim)

Constructs a rule with the specified conclusion and an empty set of premises.

Parameters:

_claim - The propositional logic formula representing the conclusion of the rule.

SimplePlRule

public SimplePlRule(PlFormula _claim,
 Set<PlFormula> _support)

Constructs a rule with the specified conclusion and set of premises.

Parameters:

_claim - The propositional logic formula representing the conclusion of the rule.

_support - The set of propositional logic formulas representing the premises of the rule.

Method Details

addPremise

public void addPremise(PlFormula arg0)

Adds a premise to the rule.

Specified by:

addPremise in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - The propositional logic formula to be added as a premise.

addPremises

public void addPremises(Collection<? extends PlFormula> arg0)

Adds a collection of premises to the rule.

Specified by:

addPremises in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - The collection of propositional logic formulas to be added as premises.

getConclusion

public PlFormula getConclusion()

Retrieves the conclusion (claim) of the rule.

Specified by:

getConclusion in interface Rule<PlFormula,PlFormula>

Returns:

The propositional logic formula representing the conclusion of the rule.

getPremise

public Collection<? extends PlFormula> getPremise()

Retrieves the premises (support) of the rule.

Specified by:

getPremise in interface Rule<PlFormula,PlFormula>

Returns:

The set of propositional logic formulas representing the premises of the rule.

getSignature

public Signature getSignature()

Retrieves the signature of the rule, which includes the signature of both the premises and the conclusion.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface Rule<PlFormula,PlFormula>

Returns:

The propositional logic signature of the rule.

isConstraint

public boolean isConstraint()

Determines if this rule is a constraint. In this case, the rule is not considered a constraint.

Specified by:

isConstraint in interface Rule<PlFormula,PlFormula>

Returns:

False, as this rule is not a constraint.

isFact

public boolean isFact()

Determines if this rule is a fact. A rule is considered a fact if it has no premises.

Specified by:

isFact in interface Rule<PlFormula,PlFormula>

Returns:

True if the rule has no premises, false otherwise.

setConclusion

public void setConclusion(PlFormula arg0)

Sets the conclusion (claim) of the rule.

Specified by:

setConclusion in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - The propositional logic formula to be set as the conclusion of the rule.

equals

public boolean equals(Object obj)

Checks if this rule is equal to another object. Two rules are considered equal if they have the same conclusion and premises.

Overrides:

equals in class Object

Parameters:

obj - The object to compare with this rule.

Returns:

True if the rules are equal, false otherwise.

hashCode

public int hashCode()

Computes the hash code for this rule based on the premises.

Overrides:

hashCode in class Object

Returns:

The hash code of the rule.

toString

public String toString()

Returns a string representation of this rule. If the rule is a fact (i.e., has no premises), only the conclusion is returned. Otherwise, the premises and conclusion are returned in the format "premises -> conclusion".

Overrides:

toString in class Object

Returns:

The string representation of this rule.