Package org.projog.core.predicate.builtin.reif

Class Summary

Class	Description
Dif	dif(X,Y) - enforces restriction that the two given terms are never equal.
Dif.DifVariableAttribute
Dif.MyMap