Package net.sf.tweety.arg.deductive.syntax

Class SimplePlRule

java.lang.Object

net.sf.tweety.arg.deductive.syntax.SimplePlRule

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

public class SimplePlRule
extends Object
implements net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

Basic data structure for handling simple rule

Author:

Federico Cerutti (federico.cerutti@acm.org)

Constructor Summary

Constructors

Constructor	Description
SimplePlRule()
SimplePlRule(net.sf.tweety.logics.pl.syntax.PlFormula _claim)
SimplePlRule(net.sf.tweety.logics.pl.syntax.PlFormula _claim, Set<net.sf.tweety.logics.pl.syntax.PlFormula> _support)

Method Summary

Modifier and Type	Method	Description
void	addPremise(net.sf.tweety.logics.pl.syntax.PlFormula arg0)
void	addPremises(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> arg0)
boolean	equals(Object obj)
net.sf.tweety.logics.pl.syntax.PlFormula	getConclusion()
Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>	getPremise()
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
boolean	isConstraint()
boolean	isFact()
void	setConclusion(net.sf.tweety.logics.pl.syntax.PlFormula arg0)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SimplePlRule

public SimplePlRule()

SimplePlRule

public SimplePlRule(net.sf.tweety.logics.pl.syntax.PlFormula _claim)

SimplePlRule

public SimplePlRule(net.sf.tweety.logics.pl.syntax.PlFormula _claim,
                    Set<net.sf.tweety.logics.pl.syntax.PlFormula> _support)

Method Detail

addPremise

public void addPremise(net.sf.tweety.logics.pl.syntax.PlFormula arg0)

Specified by:

addPremise in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

addPremises

public void addPremises(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> arg0)

Specified by:

addPremises in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

getConclusion

public net.sf.tweety.logics.pl.syntax.PlFormula getConclusion()

Specified by:

getConclusion in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

getPremise

public Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> getPremise()

Specified by:

getPremise in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

isFact

public boolean isFact()

Specified by:

isFact in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

setConclusion

public void setConclusion(net.sf.tweety.logics.pl.syntax.PlFormula arg0)

Specified by:

setConclusion in interface net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlFormula>

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