Class CActionDescription
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<T,ActionSignature>
-
- net.sf.tweety.action.description.syntax.ActionDescription<CLaw>
-
- net.sf.tweety.action.description.syntax.CActionDescription
-
- All Implemented Interfaces:
java.lang.Iterable<CLaw>
,java.util.Collection<CLaw>
,BeliefBase
public class CActionDescription extends ActionDescription<CLaw>
This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.- Author:
- Sebastian Homann
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
-
Constructor Summary
Constructors Constructor 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.
-
Method Summary
Modifier and Type Method Description java.util.Set<DynamicLaw>
getDynamicLaws()
Returns a set of all dynamic laws contained in this action description.Signature
getMinimalSignature()
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.-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
-
-
-
Constructor Detail
-
CActionDescription
public CActionDescription()
Creates a new empty action description.
-
CActionDescription
public CActionDescription(java.util.Collection<? extends CausalLaw> c)
Creates a new belief set with the given collection of formulae.- Parameters:
c
- a collection of formulae.
-
-
Method Detail
-
ground
public CActionDescription ground()
Calculates a new action description containing all ground instances of each law in this action description.- Returns:
- a new action description containing only ground laws.
-
toDefinite
public CActionDescription toDefinite() throws java.lang.IllegalStateException
Calculates a new action description which descibes the same transition system and contains only definite causal laws.- Returns:
- a new definite action description.
- Throws:
java.lang.IllegalStateException
- when there is no equivalent definite action description
-
isGround
public boolean isGround()
Checks whether this action description contains any non-ground laws.- Returns:
- true iff each law in this action description is grounded.
-
isDefinite
public boolean isDefinite()
Checks whether this action description contains any non-definite laws.- Returns:
- ture iff each law in this action description is definite.
-
getStaticLaws
public java.util.Set<StaticLaw> getStaticLaws()
Returns a set of all static laws contained in this action description.- Returns:
- a set of all static laws contained in this action description.
-
getDynamicLaws
public java.util.Set<DynamicLaw> getDynamicLaws()
Returns a set of all dynamic laws contained in this action description.- Returns:
- a set of all dynamic laws contained in this action description.
-
toOutputString
public 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.- Returns:
- a string representation of this action description.
-
getMinimalSignature
public Signature getMinimalSignature()
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Returns:
- the signature of the language of this knowledge base.
-
-