Fixpoint3.Predicate

Definitions

def allFullRelSyms(predInfo: Predicates): List[RelSym] Source

Returns a list of all full RelSym in predInfo.

def allRelSyms(predInfo: Predicates): List[RelSym] Source

Returns a list of all RelSym in predInfo.

def bodyAtomToRelSym(body: BodyPredicate, wantedType: PredType, predInfo: Predicates): RelSym Source

Returns the full RelSym associated with the PredSym in body according to predInfo.

def fullRelSymToType(relSym: RelSym, wantedType: PredType, predInfo: Predicates): RelSym Source

Returns a RelSym of type wantedType given the RelSym relSym, which must be a full RelSym.

def fullRelSymsOfProgram(program: RamProgram): List[RelSym] Source

Returns a list of all RelSym known in program.

def getMax(predicates: Predicates): Int64 Source

Returns 1 plus the maximum full predicate in predicates.

def getRelSymAsType(relSym: RelSym, wantedType: PredType, predInfo: Predicates): RelSym Source

Returns the RelSym of type wantedType from relSym according to predInfo.

def headAtomToRelSym(head: HeadPredicate, wantedType: PredType, predInfo: Predicates): RelSym Source

Returns the full RelSym associated with the PredSym in head according to predInfo.

def initialize(program: Datalog, db: Map[RelSym, BPlusTree[Vector[Boxed], Boxed, Static]]): Predicates Source

Collect all preciate information given a Datalog program program and database db.

def isFullId(id: Int64, predInfo: Predicates): Bool Source

Returns true if id is the id of a full PredSym according to predInfo.

def relSymFromPredType(relSym: RelSym, wantedType: PredType, predInfo: Predicates): RelSym Source

Returns a RelSym of type wantedType from relSym according to predInfo.

def relSymToPredType(relSym: RelSym, predInfo: Predicates): PredType Source

Returns the type of the PredSym in relSym according to predInfo.

def relSymsOfProgram(program: RamProgram): List[RelSym] Source

Returns a list of all RelSym known in program.