Fixpoint3.Debugging

Definitions

def notifyPostSolve(d: Datalog): Datalog Source

Invoked with the minimal model of the fixpoint computation.

Note: Returns d to ensure it is not erased.

def notifyPreInterpret(input: (RamProgram[r], Boxing[r])): (RamProgram[r], Boxing[r]) Source

Invoked before the fixpoint computation.

Note: Returns s to ensure it is not erased.

def notifyPreLowering(phase: String, program: RamProgram): RamProgram Source

Invoked after every phase during the fixpoint computation.

Note: Returns d to ensure it is not erased.

def notifyPreSolve(d: Datalog): Datalog Source

Invoked before the fixpoint computation.

Note: Returns d to ensure it is not erased.