public class CActionDescription extends ActionDescription<CLaw>
Constructor and Description |
---|
CActionDescription()
Creates a new empty action description.
|
CActionDescription(java.util.Collection<? extends CausalLaw> c)
Creates a new belief set with the given collection of formulae.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DynamicLaw> |
getDynamicLaws()
Returns a set of all dynamic laws contained in this action description.
|
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
java.util.Set<StaticLaw> |
getStaticLaws()
Returns a set of all static laws contained in this action description.
|
CActionDescription |
ground()
Calculates a new action description containing all ground instances of each
law in this action description.
|
boolean |
isDefinite()
Checks whether this action description contains any non-definite laws.
|
boolean |
isGround()
Checks whether this action description contains any non-ground laws.
|
CActionDescription |
toDefinite()
Calculates a new action description which descibes the same transition
system and contains only definite causal laws.
|
java.lang.String |
toOutputString()
Returns a string representation of this action description in human
readable form, which may be written to a file or printed on screen.
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public CActionDescription()
public CActionDescription(java.util.Collection<? extends CausalLaw> c)
c
- a collection of formulae.public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<CLaw>
public CActionDescription ground()
public CActionDescription toDefinite() throws java.lang.IllegalStateException
java.lang.IllegalStateException
- when there is no equivalent definite action
descriptionpublic boolean isGround()
public boolean isDefinite()
public java.util.Set<StaticLaw> getStaticLaws()
public java.util.Set<DynamicLaw> getDynamicLaws()
public java.lang.String toOutputString()