代码搜索结果

(unwatch all) (clear) (defglobal ?*sorstate* = (set-sequence-operator-recognition TRUE)) (dribble-on "dfnxerr.out") (batch "dfnxerr.bat") (dribble-off) (set-sequence-operator-recognition ?*sorstate*))

(unwatch all) (clear) (set-sequence-operator-recognition FALSE) (setgen 1) (dribble-on "seqop.out") (batch "seqop.bat") (dribble-off) (set-sequence-operator-recognition FALSE) (clear) (open "seqop.rsl

(defglobal ?*x* = (mv-append 1 2 3)) (deffunction foo (?a ?b) (printout t "Foo arguments: " ?a " " ?b crlf)) (batch "seqop2.bat") (set-sequence-operator-recognition TRUE) (batch "seqop2.bat") (load

(unwatch all) (clear) (progn (bind ?old (set-sequence-operator-recognition TRUE)) (load "gnrcovl.clp") (set-sequence-operator-recognition ?old)) (dribble-on "gnrcovl.out") (testit) (dribble-off)

(unwatch all) (clear) (progn (bind ?old (set-sequence-operator-recognition TRUE)) (load "gnrcexe.clp") (set-sequence-operator-recognition ?old)) (dribble-on "gnrcexe.out") (testit) (dribble-off)

(unwatch all) (clear) (defglobal ?*sorstate* = (set-sequence-operator-recognition TRUE)) (dribble-on "dfnxerr.out") (batch "dfnxerr.bat") (dribble-off) (set-sequence-operator-recognition ?*sorstate*))

(unwatch all) (clear) (set-sequence-operator-recognition FALSE) (setgen 1) (dribble-on "seqop.out") (batch "seqop.bat") (dribble-off) (set-sequence-operator-recognition FALSE) (clear) (open "seqop.rsl

(defglobal ?*x* = (mv-append 1 2 3)) (deffunction foo (?a ?b) (printout t "Foo arguments: " ?a " " ?b crlf)) (batch "seqop2.bat") (set-sequence-operator-recognition TRUE) (batch "seqop2.bat") (load

(unwatch all) (clear) (progn (bind ?old (set-sequence-operator-recognition TRUE)) (load "gnrcovl.clp") (set-sequence-operator-recognition ?old)) (dribble-on "gnrcovl.out") (testit) (dribble-off)

Version 8.1 Build 163 10/28/2008 SJ Full Version 41 2756 OFF OFF OFF OFF ON ON OFF FV_OFF Level2 0 0 VRSM_ON VHSM_ON 0 -- Start Partition -- -- End Partition -- -- Start Library Pat