public class StaticLaw extends CLaw
headFormula, ifFormula, requirements
Constructor and Description |
---|
StaticLaw()
Creates an empty static law.
|
StaticLaw(FolFormula headFormula)
Creates an empty static law of the form caused headFormula if True
|
StaticLaw(FolFormula headFormula,
FolFormula ifFormula)
Creates an empty static law of the form caused headFormula if ifFormula
|
StaticLaw(FolFormula headFormula,
FolFormula ifFormula,
java.util.Set<GroundingRequirement> requirements)
Creates an empty static law of the form caused headFormula if ifFormula
requires requirements
|
StaticLaw(FolFormula headFormula,
java.util.Set<GroundingRequirement> requirements)
Creates an empty static law of the form caused headFormula if True
requires requirements
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<CLaw> |
getAllGrounded()
Returns the set of all grounded instances of this causal law.
|
java.util.Set<FOLAtom> |
getAtoms()
Returns the set of propositions in all formulas in this law.
|
java.util.Set<FolFormula> |
getFormulas()
Returns the set of formulas contained in this causal law, e.g.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
boolean |
isDefinite()
Returns true iff this law is definite.
|
java.util.Set<CLaw> |
toDefinite()
Returns an equivalent definite causal law.
|
java.lang.String |
toString() |
addGroundingRequirement, getHeadFormula, getIfFormula, isConjunctiveClause, isGround, isValidDefiniteHead
public StaticLaw()
public StaticLaw(FolFormula headFormula)
headFormula
- public StaticLaw(FolFormula headFormula, java.util.Set<GroundingRequirement> requirements)
headFormula
- requirements
- public StaticLaw(FolFormula headFormula, FolFormula ifFormula)
headFormula
- ifFormula
- public StaticLaw(FolFormula headFormula, FolFormula ifFormula, java.util.Set<GroundingRequirement> requirements)
headFormula
- ifFormula
- requirements
- public boolean isDefinite()
CLaw
isDefinite
in class CLaw
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set<CLaw> toDefinite() throws java.lang.IllegalStateException
CLaw
toDefinite
in class CLaw
java.lang.IllegalStateException
- when there is no equivalent definite causal
law.public Signature getSignature()
Formula
getSignature
in interface Formula
getSignature
in class CLaw
public java.util.Set<FOLAtom> getAtoms()
CLaw
public java.util.Set<CLaw> getAllGrounded()
CLaw
getAllGrounded
in class CLaw
public java.util.Set<FolFormula> getFormulas()
CLaw
getFormulas
in class CLaw