Package org.tweetyproject.action.description.syntax

Class CActionDescription

java.lang.Object

org.tweetyproject.commons.BeliefSet<CLaw,ActionSignature>

org.tweetyproject.action.description.syntax.ActionDescription<CLaw>

org.tweetyproject.action.description.syntax.CActionDescription

All Implemented Interfaces:

Iterable<CLaw>, 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 org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
CActionDescription()	Creates a new empty action description.
CActionDescription(Collection<? extends CausalLaw> c)	Creates a new belief set with the given collection of formulae.

Method Summary

Modifier and Type	Method	Description
Set<DynamicLaw>	getDynamicLaws()	Retrieves a set of all dynamic laws contained in this action description.
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.
Set<StaticLaw>	getStaticLaws()	Retrieves 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 describes 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.

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

CActionDescription

public CActionDescription()

Creates a new empty action description.

CActionDescription

public CActionDescription(Collection<? extends CausalLaw> c)

Creates a new belief set with the given collection of formulae.

Parameters:

c - a collection of formulae.

Method Details

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 IllegalStateException

Calculates a new action description which describes the same transition system and contains only definite causal laws.

Returns:

a new definite action description.

Throws:

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:

true iff each law in this action description is definite.

getStaticLaws

public Set<StaticLaw> getStaticLaws()

Retrieves a set of all static laws contained in this action description.

Returns:

a `Set` of `StaticLaw` objects representing all static laws in this action description.

getDynamicLaws

public Set<DynamicLaw> getDynamicLaws()

Retrieves a set of all dynamic laws contained in this action description.

Returns:

a `Set` of `DynamicLaw` objects representing all dynamic laws in this action description.

toOutputString

public 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.