Lines Matching defs:defined
51 % waking conditions (inst/bound/constrained, libraries, user-defined, symbolic,
191 the constraints defined by the Common Arithmetic Solver Interface
238 For delaying calls to user-defined Prolog predicates, {\eclipse}
429 The condition \about{Cond} can be the name of a system-defined waking condition,
444 defined in one of currently loaded library attributes. For example, when the
768 \subsection{Library-defined Waking Conditions on Variables}
786 The library-defined waking conditions can be used with
876 There is one system-defined trigger called \defnotion{postponed}.%
912 manipulated under program control using the primitives defined in
1139 \subsection{User-defined Suspension Lists}
1146 For the implementation of user-defined suspension lists,
1203 (for uder-defined suspension lists).