anti-unification-cost

Function summary
depth-of-replaced-pattern pattern source
get-anti-unification-cost cost-type cost-params pattern source
get-anti-unification-cost   cost-type cost-params pattern source  [Function]

if cost-type is found in cost-params, return cost of this cost-type otherwise return 0

depth-of-replaced-pattern   pattern source  [Function]
Generated by  CLDOC - 2016-03-20 19:29:41