net.sf.tweety.action.description.syntax

Class StaticLaw

java.lang.Object

net.sf.tweety.action.description.syntax.CLaw

net.sf.tweety.action.description.syntax.StaticLaw

All Implemented Interfaces:

CausalLaw, net.sf.tweety.commons.Formula

public class StaticLaw
extends CLaw

This class represents a static rule in C, which has the following form: caused H if G where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions

Author:

Sebastian Homann

Field Summary

Fields inherited from class net.sf.tweety.action.description.syntax.CLaw

headFormula, ifFormula, requirements

Constructor Summary

Constructors

Constructor and Description
StaticLaw() Creates an empty static law.
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula) Creates an empty static law of the form caused headFormula if True
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula) Creates an empty static law of the form caused headFormula if ifFormula
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula, Set<GroundingRequirement> requirements) Creates an empty static law of the form caused headFormula if ifFormula requires requirements
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, Set<GroundingRequirement> requirements) Creates an empty static law of the form caused headFormula if True requires requirements

Method Summary

Modifier and Type	Method and Description
Set<CLaw>	getAllGrounded() Returns the set of all grounded instances of this causal law.
Set<net.sf.tweety.logics.fol.syntax.FOLAtom>	getAtoms() Returns the set of propositions in all formulas in this law.
Set<net.sf.tweety.logics.fol.syntax.FolFormula>	getFormulas() Returns the set of formulas contained in this causal law, e.g.
net.sf.tweety.commons.Signature	getSignature()
boolean	isDefinite() Returns true iff this law is definite.
Set<CLaw>	toDefinite() Returns an equivalent definite causal law.
String	toString()

Methods inherited from class net.sf.tweety.action.description.syntax.CLaw

addGroundingRequirement, getHeadFormula, getIfFormula, isConjunctiveClause, isGround, isValidDefiniteHead

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StaticLaw

public StaticLaw()

Creates an empty static law.

StaticLaw

public StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula)

Creates an empty static law of the form caused headFormula if True

Parameters:

headFormula -

StaticLaw

public StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
                 Set<GroundingRequirement> requirements)

Creates an empty static law of the form caused headFormula if True requires requirements

Parameters:

headFormula -

requirements -

StaticLaw

public StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
                 net.sf.tweety.logics.fol.syntax.FolFormula ifFormula)

Creates an empty static law of the form caused headFormula if ifFormula

Parameters:

headFormula -

ifFormula -

StaticLaw

public StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
                 net.sf.tweety.logics.fol.syntax.FolFormula ifFormula,
                 Set<GroundingRequirement> requirements)

Creates an empty static law of the form caused headFormula if ifFormula requires requirements

Parameters:

headFormula -

ifFormula -

requirements -

Method Detail

isDefinite

public boolean isDefinite()

Description copied from class: CLaw

Returns true iff this law is definite. A causal law is definite if it's head is a literal or a contradiction and all formulas are conjunctions of literals.

Specified by:

isDefinite in class CLaw

Returns:

true, if this law is definite, false otherwise.

toString

public String toString()

Overrides:

toString in class Object

toDefinite

public Set<CLaw> toDefinite()
                     throws IllegalStateException

Description copied from class: CLaw

Returns an equivalent definite causal law. A causal law is definite if it's head is a literal or a contradiction and all formulas are conjunctions of literals.

Specified by:

toDefinite in class CLaw

Returns:

the equivalent definite causal law if one exists.

Throws:

IllegalStateException - when there is no equivalent definite causal law.

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in class CLaw

getAtoms

public Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()

Description copied from class: CLaw

Returns the set of propositions in all formulas in this law.

Specified by:

getAtoms in class CLaw

Returns:

the set of propositions in all formulas in this law.

getAllGrounded

public Set<CLaw> getAllGrounded()

Description copied from class: CLaw

Returns the set of all grounded instances of this causal law.

Specified by:

getAllGrounded in class CLaw

Returns:

the set of all grounded instances of this causal law.

getFormulas

public Set<net.sf.tweety.logics.fol.syntax.FolFormula> getFormulas()

Description copied from class: CLaw

Returns the set of formulas contained in this causal law, e.g. in a static law, this contains the head formula and the if formula.

Specified by:

getFormulas in class CLaw

Returns:

the set of formulas contained in this causal law.