Package org.tweetyproject.commons.util.rules

package org.tweetyproject.commons.util.rules

Related Packages

Package	Description
org.tweetyproject.commons.util

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.