SubstitutePredSym
trait SubstitutePredSym[t: Type]SourceTrait for types that contain substitutable predicate symbols.
Instances
- Non-primitives
BodyPredicate, Constraint, Datalog, HeadPredicate, RelSym
Signatures
def substitute(x: t, s: Map[PredSym, PredSym]): t with SubstitutePredSym[t]§ SourceReturns x with its predicate symbols replaced according to the substitution s.