Package org.tweetyproject.action.description.analysis

package org.tweetyproject.action.description.analysis
  • Class
    Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.
    This class is able to check if a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state.