PredSymsOf
trait PredSymsOf[t: Type]SourceTrait for types that contain predicate symbols.
Instances
- Non-primitives
BodyPredicate, Constraint, Datalog, HeadPredicate, RelSym
Signatures
def predSymsOf(x: t): Set[PredSym] with PredSymsOf[t]§ SourceReturns the set of predicate symbols occurring in x.