- All Known Implementing Classes:
public interface ClauseEntry
Common interface for all objects that can go into rules. Strictly these should probably be called terms rather than clause entries.
(Object o)Compare clause entries, taking into account variable indices. The equality function ignores differences between variables.