public class DynamicLaw extends CLaw
Modifier and Type | Field and Description |
---|---|
protected FolFormula |
afterFormula |
headFormula, ifFormula, requirements
Constructor and Description |
---|
DynamicLaw()
Constructs a new empty dynamic law.
|
DynamicLaw(FolFormula headFormula,
FolFormula afterFormula)
Creates a new dynamic law of the form caused headFormula after
afterFormula
|
DynamicLaw(FolFormula headFormula,
FolFormula ifFormula,
FolFormula afterFormula)
Creates a new dynamic law of the form: caused headFormula if ifFormula
after afterFormula
|
DynamicLaw(FolFormula headFormula,
FolFormula ifFormula,
FolFormula afterFormula,
java.util.Set<GroundingRequirement> requirements)
Creates a new dynamic law of the form: caused headFormula if ifFormula
after afterFormula requires requirements
|
DynamicLaw(FolFormula headFormula,
FolFormula afterFormula,
java.util.Set<GroundingRequirement> requirements)
Creates a new dynamic law of the form caused headFormula after
afterFormula requires requirements
|
Modifier and Type | Method and Description |
---|---|
FolFormula |
getAfterFormula()
Returns the afterFormula of this causal law.
|
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.
|
private void |
setAfterFormula(FolFormula afterFormula)
Sets the afterFormula of this causal law
|
java.util.Set<CLaw> |
toDefinite()
Returns an equivalent definite causal law.
|
java.lang.String |
toString() |
addGroundingRequirement, getHeadFormula, getIfFormula, isConjunctiveClause, isGround, isValidDefiniteHead
protected FolFormula afterFormula
public DynamicLaw()
public DynamicLaw(FolFormula headFormula, FolFormula ifFormula, FolFormula afterFormula)
headFormula
- ifFormula
- afterFormula
- public DynamicLaw(FolFormula headFormula, FolFormula ifFormula, FolFormula afterFormula, java.util.Set<GroundingRequirement> requirements)
headFormula
- ifFormula
- afterFormula
- requirements
- public DynamicLaw(FolFormula headFormula, FolFormula afterFormula)
headFormula
- afterFormula
- public DynamicLaw(FolFormula headFormula, FolFormula afterFormula, java.util.Set<GroundingRequirement> requirements)
headFormula
- afterFormula
- requirements
- private void setAfterFormula(FolFormula afterFormula)
afterFormula
- The new afterFormula of this causal law.public FolFormula getAfterFormula()
public boolean isDefinite()
CLaw
isDefinite
in class CLaw
public java.lang.String toString()
toString
in class java.lang.Object
public Signature getSignature()
Formula
getSignature
in interface Formula
getSignature
in class CLaw
public java.util.Set<FOLAtom> getAtoms()
CLaw
public java.util.Set<CLaw> toDefinite()
CLaw
toDefinite
in class CLaw
public java.util.Set<CLaw> getAllGrounded()
CLaw
getAllGrounded
in class CLaw
public java.util.Set<FolFormula> getFormulas()
CLaw
getFormulas
in class CLaw