kdrag.smt.Relation

kdrag.smt.Relation(name: str, *domains: SortRef) → FuncDeclRef

Create a relation with the given name and domains. A relation is a function that returns a Bool.

>>> Relation("R", IntSort(), IntSort())
R

Parameters:

• name (str)

• domains (SortRef)

Return type:

FuncDeclRef