Action disabled: source
topheader Welcome 34.227.112.145 @ xps.scios.ch on Thu Mar 28 21:47:50 UTC 2024
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-2021, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login