net.sf.tweety.action.description.syntax
Classes
CLaw
DynamicLaw
StaticLaw