Prelude / Fixpoint3 / SubstitutePredSym

SubstitutePredSym

trait SubstitutePredSym[t: Type]Source

Trait for types that contain substitutable predicate symbols.

Instances

instance SubstitutePredSym[BodyPredicate]Source

instance SubstitutePredSym[Constraint]Source

instance SubstitutePredSym[Datalog]Source

instance SubstitutePredSym[HeadPredicate]Source

instance SubstitutePredSym[RelSym]Source

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

Returns x with its predicate symbols replaced according to the substitution s.