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.PropositionalFormula,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

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

Basic data structure for handling simple rule

Author:

Federico Cerutti

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addPremise(net.sf.tweety.logics.pl.syntax.PropositionalFormula arg0)
void	addPremises(Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> arg0)
boolean	equals(Object obj)
net.sf.tweety.logics.pl.syntax.PropositionalFormula	getConclusion()
Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula>	getPremise()
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
boolean	isConstraint()
boolean	isFact()
void	setConclusion(net.sf.tweety.logics.pl.syntax.PropositionalFormula 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.PropositionalFormula _claim)

SimplePlRule

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

Method Detail

addPremise

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

Specified by:

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

addPremises

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

Specified by:

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

getConclusion

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

Specified by:

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

getPremise

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

Specified by:

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

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.PropositionalFormula,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

isConstraint

public boolean isConstraint()

Specified by:

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

isFact

public boolean isFact()

Specified by:

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

setConclusion

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

Specified by:

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

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