net.sf.tweety.logics.cl.syntax

Class Conditional

java.lang.Object

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

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>, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

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

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

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors

Constructor and Description
Conditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion) Creates a new conditional with a tautological premise and given conclusion.
Conditional(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise, net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion) Creates a new conditional with the given premise and conclusion.

Method Summary

Modifier and Type	Method and Description
void	addPremise(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise)
void	addPremises(Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> premises)
Conditional	clone()
net.sf.tweety.logics.pl.syntax.Conjunction	combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f)
net.sf.tweety.logics.fol.syntax.Disjunction	combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
Conditional	complement()
boolean	equals(Object obj)
Set<net.sf.tweety.logics.pl.syntax.Proposition>	getAtoms()
net.sf.tweety.logics.pl.syntax.PropositionalFormula	getConclusion()
Class<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicateCls()
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
Collection<net.sf.tweety.logics.pl.syntax.PropositionalFormula>	getPremise()
net.sf.tweety.commons.Signature	getSignature()
int	hashCode()
boolean	isConstraint()
boolean	isFact() Checks whether this conditional is a fact, i.e.
boolean	isLiteral()
void	setConclusion(net.sf.tweety.logics.pl.syntax.PropositionalFormula conclusion)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Conditional

public Conditional(net.sf.tweety.logics.pl.syntax.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(net.sf.tweety.logics.pl.syntax.PropositionalFormula premise,
                   net.sf.tweety.logics.pl.syntax.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 Collection<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>

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>

isFact

public boolean isFact()

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

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>

Returns:

"true" iff this conditional is a fact.

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>

toString

public String toString()

Overrides:

toString in class Object

combineWithAnd

public net.sf.tweety.logics.pl.syntax.Conjunction combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f)

combineWithOr

public net.sf.tweety.logics.fol.syntax.Disjunction combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)

complement

public Conditional complement()

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object

getAtoms

public Set<net.sf.tweety.logics.pl.syntax.Proposition> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

clone

public Conditional clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

clone in class Object

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

public Class<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

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>

setConclusion

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

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>

addPremise

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

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> premises)

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>