topheader Welcome 34.207.146.166 @ xps.scios.ch on Tue Mar 26 11:55:54 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