Fixpoint3.SubstitutePredSym

trait SubstitutePredSym[t: Type]Source

A trait for types with predicate symbols that can be substituted.

instance SubstitutePredSym[Datalog]Source

instance SubstitutePredSym[Constraint]Source

instance SubstitutePredSym[HeadPredicate]Source

instance SubstitutePredSym[BodyPredicate]Source

instance SubstitutePredSym[RelSym]Source

Signatures

def substitute(x: t, s: Map[PredSym, PredSym]): t with SubstitutePredSym[t] Source