Package org.tweetyproject.commons.util.rules

package org.tweetyproject.commons.util.rules
  • Class
    Description
    Derivation<T extends Rule<?,?>>
    This class models a derivation, i.e.
    Rule<C extends Formula,P extends Formula>
    This interface models a general rule, i.e.
    RuleSet<T extends Rule<?,?>>
    This class represents a set of rules and provides several auxiliary methods for accessing such a set.