Package net.sf.tweety.action.description.reasoner

Class Summary

Class	Description
CTransitionSystemCalculator	This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from: Representing Transition Systems by Logic Programs.