Package org.tweetyproject.commons.util.rules

package org.tweetyproject.commons.util.rules

Interface Summary

Interface	Description
Rule<C extends Formula,P extends Formula>	This interface models a general rule, i.e.

Class Summary

Class	Description
Derivation<T extends Rule<?,?>>	This class models a derivation, i.e.
RuleSet<T extends Rule<?,?>>	This class represents a set of rules and provides several auxiliary methods for accessing such a set.