PredSymsOf

trait PredSymsOf[t: Type]Source

Trait for types that contain predicate symbols.

Instances

instance PredSymsOf[BodyPredicate]Source

instance PredSymsOf[Constraint]Source

instance PredSymsOf[Datalog]Source

instance PredSymsOf[HeadPredicate]Source

instance PredSymsOf[RelSym]Source

def predSymsOf(x: t): Set[PredSym] with PredSymsOf[t]§ Source

Returns the set of predicate symbols occurring in x.