Fixpoint3.PredSymsOf

trait PredSymsOf[t: Type]Source

A trait for types that contain predicate symbols.

instance PredSymsOf[Datalog]Source

instance PredSymsOf[Constraint]Source

instance PredSymsOf[HeadPredicate]Source

instance PredSymsOf[BodyPredicate]Source

instance PredSymsOf[RelSym]Source

Signatures

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