object

magic_expansion(A)

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

author:
Victor Lagerkvist
version:
1.0
date:
2010/6/13
compilation flags:
static, context_switching_calls
implements:
public expanding
imports:
public flatting
extends:
public debug_expansion(A)

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)