object

rule_expansion(A)

Expands rules of the form p <- f & g to the more manageable rule(p, [f,g]).

Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static, context_switching_calls
Implements:
public expanding
Imports:
public flatting
Extends:

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)