Interface TruthMaintenanceSystemInternalMatch<T extends ModedAssertion<T>>

All Superinterfaces:
InternalMatch, Match, Queue.QueueEntry, Serializable
All Known Implementing Classes:
TruthMaintenanceSystemRuleTerminalNodeLeftTuple

public interface TruthMaintenanceSystemInternalMatch<T extends ModedAssertion<T>> extends InternalMatch