Namespaces
Symbols
Fixpoint
0.40.0
Classes
class
PredSymsOf
[
t
:
Type
]
Source
Signatures
def
predSymsOf
(
x
:
t
)
:
Set[PredSym]
\
Pure
with
PredSymsOf[
t
]
Source
Instances
instance
BodyPredicate[v]
Source
instance
Constraint[v]
Source
instance
Datalog[v]
Source
instance
HeadPredicate[v]
Source
instance
RamSym[v]
Source
class
SubstitutePredSym
[
t
:
Type
]
Source
Signatures
def
substitute
(
x
:
t
s
:
Map[PredSym, PredSym]
)
:
t
\
Pure
with
SubstitutePredSym[
t
]
Source
Instances
instance
BodyPredicate[v]
Source
instance
Constraint[v]
Source
instance
Datalog[v]
Source
instance
HeadPredicate[v]
Source
instance
RamSym[v]
Source