Package fr.inria.rules.integraal.model.partition

package fr.inria.rules.integraal.model.partition

Classes

Class	Description
Partition<E>	Partition of a set of elements maintained with a union-find structure.
TermPartition	Partition specialized for terms, with utilities tied to substitutions and rule validity.
TermPartitionFactory	Creates term partitions using atoms with the same predicate.