Fixpoint
Classes
class PredSymsOf[t: Type]
SourceSignatures
def predSymsOf(x: t): Set[PredSym]
SourceInstances
instance BodyPredicate[v]
Sourceinstance Constraint[v]
Sourceinstance Datalog[v]
Sourceinstance HeadPredicate[v]
Sourceinstance RamSym[v]
Sourceclass SubstitutePredSym[t: Type]
SourceSignatures
def substitute(x: t, s: Map[PredSym, PredSym]): t
SourceInstances
instance BodyPredicate[v]
Sourceinstance Constraint[v]
Sourceinstance Datalog[v]
Sourceinstance HeadPredicate[v]
Sourceinstance RamSym[v]
Source