topheader Welcome 18.205.246.238 @ xps.scios.ch on Wed Jan 23 4:48:03 UTC 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 19:47 (external edit)
topheader
© 1998-2019, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login