topheader Welcome 3.81.73.233 @ xps.scios.ch on Tue Jul 16 18:06:00 CEST 2019
topheader
 
SET-STRATEGY

SET-STRATEGY

Sets the current conflict resolution strategy.

(set-strategy <strategy>)
<strategy> ::= depth | breadth | simplicity | complexity | 
    lex | mea | random
 
 
clips/clip9np5.txt · Last modified: 2010/01/04 20:47 (external edit)
topheader
© 1998-2019, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login