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>

Basic data structure for handling simple rule

Author:

Federico Cerutti (federico.cerutti@acm.org)

Constructor Summary

Constructors

Constructor	Description
SimplePlRule()
SimplePlRule(PlFormula _claim)
SimplePlRule(PlFormula _claim, Set<PlFormula> _support)

Method Summary

Modifier and Type	Method	Description
void	addPremise(PlFormula arg0)	Add the given premise to this rule.
void	addPremises(Collection<? extends PlFormula> arg0)	Add the given premises to this rule.
boolean	equals(Object obj)
PlFormula	getConclusion()	Returns the conclusion of this rule.
Collection<? extends PlFormula>	getPremise()	Returns the premise of this rule.
Signature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
boolean	isConstraint()	isConstraint
boolean	isFact()	isFact
void	setConclusion(PlFormula arg0)	Set the conclusion of this rule.
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SimplePlRule

public SimplePlRule()

SimplePlRule

public SimplePlRule(PlFormula _claim)

SimplePlRule

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

Method Details

addPremise

public void addPremise(PlFormula arg0)

Description copied from interface: Rule

Add the given premise to this rule.

Specified by:

addPremise in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - some formula

addPremises

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

Description copied from interface: Rule

Add the given premises to this rule.

Specified by:

addPremises in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - some formulas

getConclusion

public PlFormula getConclusion()

Description copied from interface: Rule

Returns the conclusion of this rule.

Specified by:

getConclusion in interface Rule<PlFormula,PlFormula>

Returns:

the conclusion of this rule.

getPremise

public Collection<? extends PlFormula> getPremise()

Description copied from interface: Rule

Returns the premise of this rule.

Specified by:

getPremise in interface Rule<PlFormula,PlFormula>

Returns:

the premise of this rule.

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in interface Rule<PlFormula,PlFormula>

Returns:

the signature of the language of this formula.

isConstraint

public boolean isConstraint()

Description copied from interface: Rule

isConstraint

Specified by:

isConstraint in interface Rule<PlFormula,PlFormula>

Returns:

whether the rule is a constraint

isFact

public boolean isFact()

Description copied from interface: Rule

isFact

Specified by:

isFact in interface Rule<PlFormula,PlFormula>

Returns:

whether the rule is a fact

setConclusion

public void setConclusion(PlFormula arg0)

Description copied from interface: Rule

Set the conclusion of this rule.

Specified by:

setConclusion in interface Rule<PlFormula,PlFormula>

Parameters:

arg0 - some formula

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object