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 java.lang.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, java.util.Set<PlFormula> _support)

Method Summary

Modifier and Type	Method	Description
void	addPremise(PlFormula arg0)	Add the given premise to this rule.
void	addPremises(java.util.Collection<? extends PlFormula> arg0)	Add the given premises to this rule.
boolean	equals(java.lang.Object obj)
PlFormula	getConclusion()	Returns the conclusion of this rule.
java.util.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()
boolean	isFact()
void	setConclusion(PlFormula arg0)	Set the conclusion of this rule.
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SimplePlRule

public SimplePlRule()

SimplePlRule

public SimplePlRule(PlFormula _claim)

SimplePlRule

public SimplePlRule(PlFormula _claim,
                    java.util.Set<PlFormula> _support)

Method Detail

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(java.util.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 java.util.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()

Specified by:

isConstraint in interface Rule<PlFormula,PlFormula>

isFact

public boolean isFact()

Specified by:

isFact in interface Rule<PlFormula,PlFormula>

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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object