
-Var iis +SimpleExpr

   Internal constraint used to rewrite other constraints.

Type
   library(ria)

Description

        This is the simple, uni-directional constraint that is used by the
	solver to rewrite all other constraints.  It is not meant for use
	inside a program, but it shows up among the delayed goals.



