DIRECTORY RoseTypes, Trees; RoseConditions: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes; Condition: TYPE = Trees.TreeNode; test: Trees.NodeType; NodeTester: TYPE = REF NodeTesterRep; NodeTesterRep: TYPE = RECORD [ node: Node, nodeName: ROPE, nodeFormat: Format, test: NodeTest _ [NIL, NIL]]; IncrementalCondition: TYPE = REF IncrementalConditionRep; IncrementalConditionRep: TYPE; PostOnSettle: PROC [sim: Simulation, condition: Condition]; UnPostOnSettle: PROC [sim: Simulation, condition: Condition]; PostIncrementally: PROC [cond: Condition] RETURNS [ic: IncrementalCondition]; UnPostIncrementally: PUBLIC PROC [ic: IncrementalCondition]; END. κ[Indigo]r>Rosemary.DF=>RoseConditions.Mesa Last Edited by: Spreitzer, April 28, 1985 5:28:27 pm PDT A Boolean combination (via Trees.and, or, and not) of leaves. Each leaf is of type test, and contains a NodeTester. Κ;˜JšœΟmœ!™4J™8J˜IcodešΟk œ˜K˜KšΠbxœžœž œ˜#K˜Kšžœžœ ˜K˜šœ žœ˜!Kš œ!Οeœ œ œ# œ™t—K˜K˜K˜Kšœ žœžœ˜%šœžœžœ˜K˜ Kšœ žœ˜K˜Kšœžœžœ˜—K˜Kšœžœžœ˜9Kšœžœ˜K˜KšΟn œžœ)˜;Kš‘œžœ)˜=K˜Kš‘œžœžœ˜MKš‘œžœžœ˜