net.sf.tweety.arg.deductive.syntax

Class SimplePlRule

java.lang.Object

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

All Implemented Interfaces:

Formula, Rule<PropositionalFormula,PropositionalFormula>

public class SimplePlRule
extends java.lang.Object
implements Rule<PropositionalFormula,PropositionalFormula>

Basic data structure for handling simple rule

Author:

Federico Cerutti

Field Summary

Fields

Modifier and Type	Field and Description
private PropositionalFormula	claim
private java.util.Set<PropositionalFormula>	support

Constructor Summary

Constructors

Constructor and Description
SimplePlRule()
SimplePlRule(PropositionalFormula _claim)
SimplePlRule(PropositionalFormula _claim, java.util.Set<PropositionalFormula> _support)

Method Summary

Modifier and Type	Method and Description
void	addPremise(PropositionalFormula arg0)
void	addPremises(java.util.Collection<? extends PropositionalFormula> arg0)
boolean	equals(java.lang.Object obj)
PropositionalFormula	getConclusion() Returns the conclusion of this rule.
java.util.Collection<? extends PropositionalFormula>	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(PropositionalFormula arg0)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

claim

private PropositionalFormula claim

support

private java.util.Set<PropositionalFormula> support

Constructor Detail

SimplePlRule

public SimplePlRule()

SimplePlRule

public SimplePlRule(PropositionalFormula _claim)

SimplePlRule

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

Method Detail

addPremise

public void addPremise(PropositionalFormula arg0)

Specified by:

addPremise in interface Rule<PropositionalFormula,PropositionalFormula>

addPremises

public void addPremises(java.util.Collection<? extends PropositionalFormula> arg0)

Specified by:

addPremises in interface Rule<PropositionalFormula,PropositionalFormula>

getConclusion

public PropositionalFormula getConclusion()

Description copied from interface: Rule

Returns the conclusion of this rule.

Specified by:

getConclusion in interface Rule<PropositionalFormula,PropositionalFormula>

Returns:

the conclusion of this rule.

getPremise

public java.util.Collection<? extends PropositionalFormula> getPremise()

Description copied from interface: Rule

Returns the premise of this rule.

Specified by:

getPremise in interface Rule<PropositionalFormula,PropositionalFormula>

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<PropositionalFormula,PropositionalFormula>

Returns:

the signature of the language of this formula.

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface Rule<PropositionalFormula,PropositionalFormula>

isFact

public boolean isFact()

Specified by:

isFact in interface Rule<PropositionalFormula,PropositionalFormula>

setConclusion

public void setConclusion(PropositionalFormula arg0)

Specified by:

setConclusion in interface Rule<PropositionalFormula,PropositionalFormula>

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