public class CActionDescription extends ActionDescription<CLaw>
| Constructor and Description |
|---|
CActionDescription()
Creates a new empty action description.
|
CActionDescription(Collection<? extends CausalLaw> c)
Creates a new belief set with the given collection of formulae.
|
| Modifier and Type | Method and Description |
|---|---|
Set<DynamicLaw> |
getDynamicLaws()
Returns a set of all dynamic laws contained in this action description.
|
net.sf.tweety.commons.Signature |
getSignature() |
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.
|
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, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitparallelStream, removeIf, spliterator, streampublic CActionDescription()
public CActionDescription(Collection<? extends CausalLaw> c)
c - a collection of formulae.public net.sf.tweety.commons.Signature getSignature()
getSignature in interface net.sf.tweety.commons.BeliefBasegetSignature in class net.sf.tweety.commons.BeliefSet<CLaw>public CActionDescription ground()
public CActionDescription toDefinite() throws IllegalStateException
IllegalStateException - when there is no equivalent definite action
descriptionpublic boolean isGround()
public boolean isDefinite()
public Set<StaticLaw> getStaticLaws()
public Set<DynamicLaw> getDynamicLaws()
public String toOutputString()
Copyright © 2018. All rights reserved.