Fixpoint3.Phase.RenamePredSyms

Definitions

def assignUniqueIdentifiersToPredSyms(rc: Region[r], d: Datalog): (Datalog, FixInformation) \ r Source

Maps all PredSyms in d to have unique ids. Returns the resulting program and information which renamePredSyms can use to recreate the original program.

This function expects PredSyms to be defined by their (name, id), while afterwards they will be uniquely defined by their id.

def renamePredSyms(d: Datalog, fixing: FixInformation): Datalog Source

Replaces PredSym(name, id) in d with Map.get(id, fixing).