Fixpoint

Classes

class PredSymsOf[t: Type]Source

Signatures

def predSymsOf(x: t): Set[PredSym]Source

Instances

instance BodyPredicate[v]Source
instance Constraint[v]Source
instance Datalog[v]Source
instance HeadPredicate[v]Source
instance RamSym[v]Source
class SubstitutePredSym[t: Type]Source

Signatures

def substitute(x: t, s: Map[PredSym, PredSym]): tSource

Instances

instance BodyPredicate[v]Source
instance Constraint[v]Source
instance Datalog[v]Source
instance HeadPredicate[v]Source
instance RamSym[v]Source