blob: e136b4699b1c43c410c04daf25a0f3ed7443afab (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
definition module law
// $Id$
from coreclean import SuclSymbol,SuclVariable
from strat import Law,Strategy
from StdOverloaded import ==
// Transitive necessities
from strat import Substrategy
from spine import Spine,Subspine
from graph import Graph,Node
// The list of special Clean transformation laws
cleanlaws :: [(SuclSymbol,Law SuclSymbol var SuclVariable result)]
// The strategy for built in clean symbols
corestrategy :: ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable result | == var
|
