Lines Matching refs:capacity
387 and their capacity:
389 capacity(1, N) :- N>=0.0, N=<350.0.
390 capacity(2, N) :- N>=0.0, N=<180.0.
391 capacity(3, N) :- N>=0.0, N=<50.0.
395 {\tt capacity(3, C)} will raise an error, and
396 {\tt capacity(Type, 30.5)} will generate several solutions nondeterministically.
397 Only calls like {\tt capacity(3, 27.1)} will act correctly as a test.
407 delay capacity(T,N) if var(T);var(N).
408 capacity(1, N) :- N>=0.0, N=<350.0.
409 capacity(2, N) :- N>=0.0, N=<180.0.
410 capacity(3, N) :- N>=0.0, N=<50.0.
412 The delay clause specifies that any call to capacity/2 will delay as long
428 delay capacity(T, N) if var(T), var(N).
429 capacity(T, N) :- nonvar(N), !,
436 capacity(1, N) :- N\$>=0.0, N\$=<350.0.
437 capacity(2, N) :- N\$>=0.0, N\$=<180.0.
438 capacity(3, N) :- N\$>=0.0, N\$=<50.0.
446 ?- capacity(T, C).
450 ?- capacity(3, C).
454 ?- capacity(T, C), C = 100.
466 capacity(T, N) :-
515 capacity/2:
517 capacity(T,N) :- (var(T);var(N)), !,
518 suspend(capacity(T,N), 0, [T,N]->inst).
519 capacity(1, N) :- N>=0.0, N=<350.0.
520 capacity(2, N) :- N>=0.0, N=<180.0.
521 capacity(3, N) :- N>=0.0, N=<50.0.