| version 1.8, 2001/09/20 00:48:17 |
version 1.9, 2003/05/04 13:19:21 |
|
|
| /* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.7 2001/01/26 12:24:57 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/k097/lib/restriction/demo.k,v 1.8 2001/09/20 00:48:17 takayama Exp $ */ |
| |
|
| load["restriction.k"];; |
load["restriction.k"];; |
| load("../ox/ox.k");; |
load("../ox/ox.k");; |
| Line 15 if (Boundp("NoX")) { |
|
| Line 15 if (Boundp("NoX")) { |
|
| as = Asir.generate(false); |
as = Asir.generate(false); |
| }else{ |
}else{ |
| as = Asir.generate(); |
as = Asir.generate(); |
| |
} |
| |
|
| |
def demoReduction(v) { |
| |
if (v == true) { |
| |
sm1(" [(Verbose) 1] system_variable [(DebugReductionRed) 1] system_variable Onverbose "); |
| |
}else{ |
| |
sm1(" [(Verbose) 0] system_variable [(DebugReductionRed) 0] system_variable Offverbose "); |
| |
} |
| } |
} |
| |
|
| asssssir = as; |
asssssir = as; |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to demo.k CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / k097 / lib / restriction