topheader Welcome 3.233.215.231 @ xps.scios.ch on Thu Feb 20 15:18:54 CET 2020
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