net.sf.tweety.logics.cl.syntax

Class Conditional

java.lang.Object

net.sf.tweety.logics.cl.syntax.Conditional

All Implemented Interfaces:

Formula, Rule<PropositionalFormula,PropositionalFormula>, SimpleLogicalFormula

Direct Known Subclasses:

ProbabilisticConditional

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

This class represents a basic conditional (B|A) with formulas A,B.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private PropositionalFormula	conclusion The conclusion of this conditional.
private PropositionalFormula	premise The premise of this conditional.

Constructor Summary

Constructors

Constructor and Description
Conditional(PropositionalFormula conclusion) Creates a new conditional with a tautological premise and given conclusion.
Conditional(PropositionalFormula premise, PropositionalFormula conclusion) Creates a new conditional with the given premise and conclusion.

Method Summary

Modifier and Type	Method and Description
void	addPremise(PropositionalFormula premise)
void	addPremises(java.util.Collection<? extends PropositionalFormula> premises)
Conditional	clone() Creates a deep copy of this formula
Conjunction	combineWithAnd(Conjuctable f)
Disjunction	combineWithOr(Disjunctable f)
Conditional	complement()
boolean	equals(java.lang.Object obj)
java.util.Set<Proposition>	getAtoms() Processes the set of all atoms which appear in this formula
PropositionalFormula	getConclusion() Returns the conclusion of this rule.
java.lang.Class<? extends Predicate>	getPredicateCls()
java.util.Set<? extends Predicate>	getPredicates() Processes the set of all predicates which appear in this formula
java.util.Collection<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() Checks whether this conditional is a fact, i.e.
boolean	isLiteral()
void	setConclusion(PropositionalFormula conclusion)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

premise

private PropositionalFormula premise

The premise of this conditional.

conclusion

private PropositionalFormula conclusion

The conclusion of this conditional.

Constructor Detail

Conditional

public Conditional(PropositionalFormula conclusion)

Creates a new conditional with a tautological premise and given conclusion.

Parameters:

conclusion - the conclusion (a formula) of this conditional.

Conditional

public Conditional(PropositionalFormula premise,
                   PropositionalFormula conclusion)

Creates a new conditional with the given premise and conclusion.

Parameters:

premise - the premise (a formula) of this conditional.

conclusion - the conclusion (a formula) of this conditional.

Method Detail

getPremise

public java.util.Collection<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.

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.

isFact

public boolean isFact()

Checks whether this conditional is a fact, i.e. has a tautological premise.

Specified by:

isFact in interface Rule<PropositionalFormula,PropositionalFormula>

Returns:

"true" iff this conditional is a fact.

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

combineWithAnd

public Conjunction combineWithAnd(Conjuctable f)

combineWithOr

public Disjunction combineWithOr(Disjunctable f)

complement

public Conditional complement()

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class java.lang.Object

getAtoms

public java.util.Set<Proposition> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Returns:

The set of all atoms

getPredicates

public java.util.Set<? extends Predicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Returns:

all predicates that appear in this formula

clone

public Conditional clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Overrides:

clone in class java.lang.Object

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface SimpleLogicalFormula

Returns:

true if the formula represents a literal in the language or false otherwise

getPredicateCls

public java.lang.Class<? extends Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface SimpleLogicalFormula

Returns:

The class description of the predicate used by this formula.

isConstraint

public boolean isConstraint()

Specified by:

isConstraint in interface Rule<PropositionalFormula,PropositionalFormula>

setConclusion

public void setConclusion(PropositionalFormula conclusion)

Specified by:

setConclusion in interface Rule<PropositionalFormula,PropositionalFormula>

addPremise

public void addPremise(PropositionalFormula premise)

Specified by:

addPremise in interface Rule<PropositionalFormula,PropositionalFormula>

addPremises

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

Specified by:

addPremises in interface Rule<PropositionalFormula,PropositionalFormula>