net.sf.tweety.commons.util.rules

Interface Rule<C extends Formula,P extends Formula>

All Superinterfaces:

Formula

public interface Rule<C extends Formula,P extends Formula>
extends Formula

This interface models a general rule, i.e. a structure with some premise (a set of formulas) and some conclusion (a single formula).

Author:

Matthias Thimm, Tim Janus

Method Summary

Modifier and Type	Method and Description
void	addPremise(P premise)
void	addPremises(Collection<? extends P> premises)
C	getConclusion() Returns the conclusion of this rule.
Collection<? extends P>	getPremise() Returns the premise of this rule.
Signature	getSignature() Returns the signature of the language of this formula.
boolean	isConstraint()
boolean	isFact()
void	setConclusion(C conclusion)

Method Detail

isFact

boolean isFact()

isConstraint

boolean isConstraint()

setConclusion

void setConclusion(C conclusion)

addPremise

void addPremise(P premise)

addPremises

void addPremises(Collection<? extends P> premises)

getSignature

Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

getPremise

Collection<? extends P> getPremise()

Returns the premise of this rule.

Returns:

the premise of this rule.

getConclusion

C getConclusion()

Returns the conclusion of this rule.

Returns:

the conclusion of this rule.