Interface: MetaSortsResponse
@kortexya/reasoninglayer / MetaSortsResponse
Interface: MetaSortsResponse
Section titled “Interface: MetaSortsResponse”Defined in: src/types/inference.ts:1710
Response listing the meta-sorts (built-in system sorts) for inference.
Remarks
Section titled “Remarks”Each field is a meta-sort name mapping to its UUID. The backend returns an object with 170+ fields representing all constraint and system sorts.
Properties
Section titled “Properties”absConstraint
Section titled “absConstraint”absConstraint:
string
Defined in: src/types/inference.ts:1711
aggregateConstraint
Section titled “aggregateConstraint”aggregateConstraint:
string
Defined in: src/types/inference.ts:1712
allenConstraint
Section titled “allenConstraint”allenConstraint:
string
Defined in: src/types/inference.ts:1713
appendConstraint
Section titled “appendConstraint”appendConstraint:
string
Defined in: src/types/inference.ts:1714
arithmeticConstraint
Section titled “arithmeticConstraint”arithmeticConstraint:
string
Defined in: src/types/inference.ts:1715
arrayConstConstraint
Section titled “arrayConstConstraint”arrayConstConstraint:
string
Defined in: src/types/inference.ts:1716
arrayConstraint
Section titled “arrayConstraint”arrayConstraint:
string
Defined in: src/types/inference.ts:1717
arrayExtConstraint
Section titled “arrayExtConstraint”arrayExtConstraint:
string
Defined in: src/types/inference.ts:1718
arraySelectConstraint
Section titled “arraySelectConstraint”arraySelectConstraint:
string
Defined in: src/types/inference.ts:1719
arrayStoreConstraint
Section titled “arrayStoreConstraint”arrayStoreConstraint:
string
Defined in: src/types/inference.ts:1720
bagofConstraint
Section titled “bagofConstraint”bagofConstraint:
string
Defined in: src/types/inference.ts:1721
betweenConstraint
Section titled “betweenConstraint”betweenConstraint:
string
Defined in: src/types/inference.ts:1722
bitBlastTactic
Section titled “bitBlastTactic”bitBlastTactic:
string
Defined in: src/types/inference.ts:1723
bvAddConstraint
Section titled “bvAddConstraint”bvAddConstraint:
string
Defined in: src/types/inference.ts:1724
bvAndConstraint
Section titled “bvAndConstraint”bvAndConstraint:
string
Defined in: src/types/inference.ts:1725
bvAshrConstraint
Section titled “bvAshrConstraint”bvAshrConstraint:
string
Defined in: src/types/inference.ts:1726
bvConcatConstraint
Section titled “bvConcatConstraint”bvConcatConstraint:
string
Defined in: src/types/inference.ts:1727
bvConstraint
Section titled “bvConstraint”bvConstraint:
string
Defined in: src/types/inference.ts:1728
bvExtractConstraint
Section titled “bvExtractConstraint”bvExtractConstraint:
string
Defined in: src/types/inference.ts:1729
bvLabelingConstraint
Section titled “bvLabelingConstraint”bvLabelingConstraint:
string
Defined in: src/types/inference.ts:1730
bvLshrConstraint
Section titled “bvLshrConstraint”bvLshrConstraint:
string
Defined in: src/types/inference.ts:1731
bvMulConstraint
Section titled “bvMulConstraint”bvMulConstraint:
string
Defined in: src/types/inference.ts:1732
bvNotConstraint
Section titled “bvNotConstraint”bvNotConstraint:
string
Defined in: src/types/inference.ts:1733
bvOrConstraint
Section titled “bvOrConstraint”bvOrConstraint:
string
Defined in: src/types/inference.ts:1734
bvShlConstraint
Section titled “bvShlConstraint”bvShlConstraint:
string
Defined in: src/types/inference.ts:1735
bvSltConstraint
Section titled “bvSltConstraint”bvSltConstraint:
string
Defined in: src/types/inference.ts:1736
bvSubConstraint
Section titled “bvSubConstraint”bvSubConstraint:
string
Defined in: src/types/inference.ts:1737
bvUdivConstraint
Section titled “bvUdivConstraint”bvUdivConstraint:
string
Defined in: src/types/inference.ts:1738
bvUltConstraint
Section titled “bvUltConstraint”bvUltConstraint:
string
Defined in: src/types/inference.ts:1739
bvXorConstraint
Section titled “bvXorConstraint”bvXorConstraint:
string
Defined in: src/types/inference.ts:1740
callConstraint
Section titled “callConstraint”callConstraint:
string
Defined in: src/types/inference.ts:1741
certifiedProof
Section titled “certifiedProof”certifiedProof:
string
Defined in: src/types/inference.ts:1742
clause
Section titled “clause”clause:
string
Defined in: src/types/inference.ts:1743
cnfTactic
Section titled “cnfTactic”cnfTactic:
string
Defined in: src/types/inference.ts:1744
constraint
Section titled “constraint”constraint:
string
Defined in: src/types/inference.ts:1745
cut:
string
Defined in: src/types/inference.ts:1746
datatypeConstraint
Section titled “datatypeConstraint”datatypeConstraint:
string
Defined in: src/types/inference.ts:1747
depthProbe
Section titled “depthProbe”depthProbe:
string
Defined in: src/types/inference.ts:1748
disentailment
Section titled “disentailment”disentailment:
string
Defined in: src/types/inference.ts:1749
disequalityConstraint
Section titled “disequalityConstraint”disequalityConstraint:
string
Defined in: src/types/inference.ts:1750
divConstraint
Section titled “divConstraint”divConstraint:
string
Defined in: src/types/inference.ts:1751
dratClause
Section titled “dratClause”dratClause:
string
Defined in: src/types/inference.ts:1752
dtConstructorConstraint
Section titled “dtConstructorConstraint”dtConstructorConstraint:
string
Defined in: src/types/inference.ts:1753
dtSelectorConstraint
Section titled “dtSelectorConstraint”dtSelectorConstraint:
string
Defined in: src/types/inference.ts:1754
dtTesterConstraint
Section titled “dtTesterConstraint”dtTesterConstraint:
string
Defined in: src/types/inference.ts:1755
dtUpdateConstraint
Section titled “dtUpdateConstraint”dtUpdateConstraint:
string
Defined in: src/types/inference.ts:1756
entailment
Section titled “entailment”entailment:
string
Defined in: src/types/inference.ts:1757
equalityConstraint
Section titled “equalityConstraint”equalityConstraint:
string
Defined in: src/types/inference.ts:1758
fdAllDifferentConstraint
Section titled “fdAllDifferentConstraint”fdAllDifferentConstraint:
string
Defined in: src/types/inference.ts:1759
fdArithmeticConstraint
Section titled “fdArithmeticConstraint”fdArithmeticConstraint:
string
Defined in: src/types/inference.ts:1760
fdCircuitConstraint
Section titled “fdCircuitConstraint”fdCircuitConstraint:
string
Defined in: src/types/inference.ts:1761
fdConstraint
Section titled “fdConstraint”fdConstraint:
string
Defined in: src/types/inference.ts:1762
fdCumulativeConstraint
Section titled “fdCumulativeConstraint”fdCumulativeConstraint:
string
Defined in: src/types/inference.ts:1763
fdDisjunctiveConstraint
Section titled “fdDisjunctiveConstraint”fdDisjunctiveConstraint:
string
Defined in: src/types/inference.ts:1764
fdDomainConstraint
Section titled “fdDomainConstraint”fdDomainConstraint:
string
Defined in: src/types/inference.ts:1765
fdElementConstraint
Section titled “fdElementConstraint”fdElementConstraint:
string
Defined in: src/types/inference.ts:1766
fdGlobalCardinalityConstraint
Section titled “fdGlobalCardinalityConstraint”fdGlobalCardinalityConstraint:
string
Defined in: src/types/inference.ts:1767
fdInConstraint
Section titled “fdInConstraint”fdInConstraint:
string
Defined in: src/types/inference.ts:1768
fdLabelingConstraint
Section titled “fdLabelingConstraint”fdLabelingConstraint:
string
Defined in: src/types/inference.ts:1769
fdLexChainConstraint
Section titled “fdLexChainConstraint”fdLexChainConstraint:
string
Defined in: src/types/inference.ts:1770
fdReifiedConstraint
Section titled “fdReifiedConstraint”fdReifiedConstraint:
string
Defined in: src/types/inference.ts:1771
fdScalarProductConstraint
Section titled “fdScalarProductConstraint”fdScalarProductConstraint:
string
Defined in: src/types/inference.ts:1772
fdSumConstraint
Section titled “fdSumConstraint”fdSumConstraint:
string
Defined in: src/types/inference.ts:1773
featureConstraint
Section titled “featureConstraint”featureConstraint:
string
Defined in: src/types/inference.ts:1774
findallConstraint
Section titled “findallConstraint”findallConstraint:
string
Defined in: src/types/inference.ts:1775
flowClassifyEdgesConstraint
Section titled “flowClassifyEdgesConstraint”flowClassifyEdgesConstraint:
string
Defined in: src/types/inference.ts:1776
flowConstraint
Section titled “flowConstraint”flowConstraint:
string
Defined in: src/types/inference.ts:1777
flowEdgeConstraint
Section titled “flowEdgeConstraint”flowEdgeConstraint:
string
Defined in: src/types/inference.ts:1778
flowMaxConstraint
Section titled “flowMaxConstraint”flowMaxConstraint:
string
Defined in: src/types/inference.ts:1779
flowMinCostMaxFlowConstraint
Section titled “flowMinCostMaxFlowConstraint”flowMinCostMaxFlowConstraint:
string
Defined in: src/types/inference.ts:1780
flowMinCutConstraint
Section titled “flowMinCutConstraint”flowMinCutConstraint:
string
Defined in: src/types/inference.ts:1781
flowSolveConstraint
Section titled “flowSolveConstraint”flowSolveConstraint:
string
Defined in: src/types/inference.ts:1782
forallConstraint
Section titled “forallConstraint”forallConstraint:
string
Defined in: src/types/inference.ts:1783
fourierMotzkinTactic
Section titled “fourierMotzkinTactic”fourierMotzkinTactic:
string
Defined in: src/types/inference.ts:1784
fpAddConstraint
Section titled “fpAddConstraint”fpAddConstraint:
string
Defined in: src/types/inference.ts:1785
fpConstraint
Section titled “fpConstraint”fpConstraint:
string
Defined in: src/types/inference.ts:1786
fpDivConstraint
Section titled “fpDivConstraint”fpDivConstraint:
string
Defined in: src/types/inference.ts:1787
fpEqConstraint
Section titled “fpEqConstraint”fpEqConstraint:
string
Defined in: src/types/inference.ts:1788
fpIsNanConstraint
Section titled “fpIsNanConstraint”fpIsNanConstraint:
string
Defined in: src/types/inference.ts:1789
fpLtConstraint
Section titled “fpLtConstraint”fpLtConstraint:
string
Defined in: src/types/inference.ts:1790
fpMulConstraint
Section titled “fpMulConstraint”fpMulConstraint:
string
Defined in: src/types/inference.ts:1791
fpSqrtConstraint
Section titled “fpSqrtConstraint”fpSqrtConstraint:
string
Defined in: src/types/inference.ts:1792
fpSubConstraint
Section titled “fpSubConstraint”fpSubConstraint:
string
Defined in: src/types/inference.ts:1793
fpToRealConstraint
Section titled “fpToRealConstraint”fpToRealConstraint:
string
Defined in: src/types/inference.ts:1794
goal:
string
Defined in: src/types/inference.ts:1795
guardConstraint
Section titled “guardConstraint”guardConstraint:
string
Defined in: src/types/inference.ts:1796
ifTactic
Section titled “ifTactic”ifTactic:
string
Defined in: src/types/inference.ts:1797
ifThenElseConstraint
Section titled “ifThenElseConstraint”ifThenElseConstraint:
string
Defined in: src/types/inference.ts:1798
lastConstraint
Section titled “lastConstraint”lastConstraint:
string
Defined in: src/types/inference.ts:1799
lengthConstraint
Section titled “lengthConstraint”lengthConstraint:
string
Defined in: src/types/inference.ts:1800
lexicographicObjective
Section titled “lexicographicObjective”lexicographicObjective:
string
Defined in: src/types/inference.ts:1801
maxConstraint
Section titled “maxConstraint”maxConstraint:
string
Defined in: src/types/inference.ts:1802
maximizeObjective
Section titled “maximizeObjective”maximizeObjective:
string
Defined in: src/types/inference.ts:1803
memberConstraint
Section titled “memberConstraint”memberConstraint:
string
Defined in: src/types/inference.ts:1804
minConstraint
Section titled “minConstraint”minConstraint:
string
Defined in: src/types/inference.ts:1805
minimizeObjective
Section titled “minimizeObjective”minimizeObjective:
string
Defined in: src/types/inference.ts:1806
minusConstraint
Section titled “minusConstraint”minusConstraint:
string
Defined in: src/types/inference.ts:1807
modConstraint
Section titled “modConstraint”modConstraint:
string
Defined in: src/types/inference.ts:1808
negation
Section titled “negation”negation:
string
Defined in: src/types/inference.ts:1809
nlaConstraint
Section titled “nlaConstraint”nlaConstraint:
string
Defined in: src/types/inference.ts:1810
nlaLabelingConstraint
Section titled “nlaLabelingConstraint”nlaLabelingConstraint:
string
Defined in: src/types/inference.ts:1811
nlaPolynomialConstraint
Section titled “nlaPolynomialConstraint”nlaPolynomialConstraint:
string
Defined in: src/types/inference.ts:1812
nlaPowerConstraint
Section titled “nlaPowerConstraint”nlaPowerConstraint:
string
Defined in: src/types/inference.ts:1813
nnfTactic
Section titled “nnfTactic”nnfTactic:
string
Defined in: src/types/inference.ts:1814
nthConstraint
Section titled “nthConstraint”nthConstraint:
string
Defined in: src/types/inference.ts:1815
numVarsProbe
Section titled “numVarsProbe”numVarsProbe:
string
Defined in: src/types/inference.ts:1816
objectiveResult
Section titled “objectiveResult”objectiveResult:
string
Defined in: src/types/inference.ts:1817
onceConstraint
Section titled “onceConstraint”onceConstraint:
string
Defined in: src/types/inference.ts:1818
optimizationConstraint
Section titled “optimizationConstraint”optimizationConstraint:
string
Defined in: src/types/inference.ts:1819
paretoObjective
Section titled “paretoObjective”paretoObjective:
string
Defined in: src/types/inference.ts:1821
parOrTactic
Section titled “parOrTactic”parOrTactic:
string
Defined in: src/types/inference.ts:1820
pdrCounterexample
Section titled “pdrCounterexample”pdrCounterexample:
string
Defined in: src/types/inference.ts:1822
pdrCube
Section titled “pdrCube”pdrCube:
string
Defined in: src/types/inference.ts:1823
pdrFrame
Section titled “pdrFrame”pdrFrame:
string
Defined in: src/types/inference.ts:1824
pdrInvariant
Section titled “pdrInvariant”pdrInvariant:
string
Defined in: src/types/inference.ts:1825
pdrModelCheck
Section titled “pdrModelCheck”pdrModelCheck:
string
Defined in: src/types/inference.ts:1826
pdrObligation
Section titled “pdrObligation”pdrObligation:
string
Defined in: src/types/inference.ts:1827
pdrTransition
Section titled “pdrTransition”pdrTransition:
string
Defined in: src/types/inference.ts:1828
plusConstraint
Section titled “plusConstraint”plusConstraint:
string
Defined in: src/types/inference.ts:1829
probe:
string
Defined in: src/types/inference.ts:1830
proofCertificate
Section titled “proofCertificate”proofCertificate:
string
Defined in: src/types/inference.ts:1831
proofStep
Section titled “proofStep”proofStep:
string
Defined in: src/types/inference.ts:1832
propagateValuesTactic
Section titled “propagateValuesTactic”propagateValuesTactic:
string
Defined in: src/types/inference.ts:1833
qeConstraint
Section titled “qeConstraint”qeConstraint:
string
Defined in: src/types/inference.ts:1834
qeEliminate
Section titled “qeEliminate”qeEliminate:
string
Defined in: src/types/inference.ts:1835
qeExists
Section titled “qeExists”qeExists:
string
Defined in: src/types/inference.ts:1836
qeForall
Section titled “qeForall”qeForall:
string
Defined in: src/types/inference.ts:1837
realAbsConstraint
Section titled “realAbsConstraint”realAbsConstraint:
string
Defined in: src/types/inference.ts:1843
realBetweenConstraint
Section titled “realBetweenConstraint”realBetweenConstraint:
string
Defined in: src/types/inference.ts:1844
realConstraint
Section titled “realConstraint”realConstraint:
string
Defined in: src/types/inference.ts:1845
realDivConstraint
Section titled “realDivConstraint”realDivConstraint:
string
Defined in: src/types/inference.ts:1846
realEqConstraint
Section titled “realEqConstraint”realEqConstraint:
string
Defined in: src/types/inference.ts:1847
realGeConstraint
Section titled “realGeConstraint”realGeConstraint:
string
Defined in: src/types/inference.ts:1848
realLabelingConstraint
Section titled “realLabelingConstraint”realLabelingConstraint:
string
Defined in: src/types/inference.ts:1849
realLeConstraint
Section titled “realLeConstraint”realLeConstraint:
string
Defined in: src/types/inference.ts:1850
realMaxConstraint
Section titled “realMaxConstraint”realMaxConstraint:
string
Defined in: src/types/inference.ts:1851
realMinConstraint
Section titled “realMinConstraint”realMinConstraint:
string
Defined in: src/types/inference.ts:1852
realMinusConstraint
Section titled “realMinusConstraint”realMinusConstraint:
string
Defined in: src/types/inference.ts:1853
realPlusConstraint
Section titled “realPlusConstraint”realPlusConstraint:
string
Defined in: src/types/inference.ts:1854
realTimesConstraint
Section titled “realTimesConstraint”realTimesConstraint:
string
Defined in: src/types/inference.ts:1855
reConcatConstraint
Section titled “reConcatConstraint”reConcatConstraint:
string
Defined in: src/types/inference.ts:1838
regexConstraint
Section titled “regexConstraint”regexConstraint:
string
Defined in: src/types/inference.ts:1856
reLiteralConstraint
Section titled “reLiteralConstraint”reLiteralConstraint:
string
Defined in: src/types/inference.ts:1839
repeatTactic
Section titled “repeatTactic”repeatTactic:
string
Defined in: src/types/inference.ts:1857
reRangeConstraint
Section titled “reRangeConstraint”reRangeConstraint:
string
Defined in: src/types/inference.ts:1840
resolutionStep
Section titled “resolutionStep”resolutionStep:
string
Defined in: src/types/inference.ts:1858
reStarConstraint
Section titled “reStarConstraint”reStarConstraint:
string
Defined in: src/types/inference.ts:1841
reUnionConstraint
Section titled “reUnionConstraint”reUnionConstraint:
string
Defined in: src/types/inference.ts:1842
reverseConstraint
Section titled “reverseConstraint”reverseConstraint:
string
Defined in: src/types/inference.ts:1859
rule:
string
Defined in: src/types/inference.ts:1860
satAssert
Section titled “satAssert”satAssert:
string
Defined in: src/types/inference.ts:1861
satAssumption
Section titled “satAssumption”satAssumption:
string
Defined in: src/types/inference.ts:1862
satCheckSat
Section titled “satCheckSat”satCheckSat:
string
Defined in: src/types/inference.ts:1863
satClause
Section titled “satClause”satClause:
string
Defined in: src/types/inference.ts:1864
satConflict
Section titled “satConflict”satConflict:
string
Defined in: src/types/inference.ts:1865
satConstraint
Section titled “satConstraint”satConstraint:
string
Defined in: src/types/inference.ts:1866
satGetModel
Section titled “satGetModel”satGetModel:
string
Defined in: src/types/inference.ts:1867
satLiteral
Section titled “satLiteral”satLiteral:
string
Defined in: src/types/inference.ts:1868
satVariableSort
Section titled “satVariableSort”satVariableSort:
string
Defined in: src/types/inference.ts:1869
setofConstraint
Section titled “setofConstraint”setofConstraint:
string
Defined in: src/types/inference.ts:1870
simplifyTactic
Section titled “simplifyTactic”simplifyTactic:
string
Defined in: src/types/inference.ts:1871
smtAssert
Section titled “smtAssert”smtAssert:
string
Defined in: src/types/inference.ts:1872
smtCheckSat
Section titled “smtCheckSat”smtCheckSat:
string
Defined in: src/types/inference.ts:1873
smtConstraint
Section titled “smtConstraint”smtConstraint:
string
Defined in: src/types/inference.ts:1874
smtGetModel
Section titled “smtGetModel”smtGetModel:
string
Defined in: src/types/inference.ts:1875
smtGetProof
Section titled “smtGetProof”smtGetProof:
string
Defined in: src/types/inference.ts:1876
smtPop
Section titled “smtPop”smtPop:
string
Defined in: src/types/inference.ts:1877
smtPush
Section titled “smtPush”smtPush:
string
Defined in: src/types/inference.ts:1878
softConstraint
Section titled “softConstraint”softConstraint:
string
Defined in: src/types/inference.ts:1879
solveEqsTactic
Section titled “solveEqsTactic”solveEqsTactic:
string
Defined in: src/types/inference.ts:1880
sortConstraint
Section titled “sortConstraint”sortConstraint:
string
Defined in: src/types/inference.ts:1881
strConcatConstraint
Section titled “strConcatConstraint”strConcatConstraint:
string
Defined in: src/types/inference.ts:1882
strContainsConstraint
Section titled “strContainsConstraint”strContainsConstraint:
string
Defined in: src/types/inference.ts:1883
strFromIntConstraint
Section titled “strFromIntConstraint”strFromIntConstraint:
string
Defined in: src/types/inference.ts:1884
stringConstraint
Section titled “stringConstraint”stringConstraint:
string
Defined in: src/types/inference.ts:1893
strLabelingConstraint
Section titled “strLabelingConstraint”strLabelingConstraint:
string
Defined in: src/types/inference.ts:1885
strLengthConstraint
Section titled “strLengthConstraint”strLengthConstraint:
string
Defined in: src/types/inference.ts:1886
strPrefixConstraint
Section titled “strPrefixConstraint”strPrefixConstraint:
string
Defined in: src/types/inference.ts:1887
strRegexMatchConstraint
Section titled “strRegexMatchConstraint”strRegexMatchConstraint:
string
Defined in: src/types/inference.ts:1888
strReplaceConstraint
Section titled “strReplaceConstraint”strReplaceConstraint:
string
Defined in: src/types/inference.ts:1889
strSubstrConstraint
Section titled “strSubstrConstraint”strSubstrConstraint:
string
Defined in: src/types/inference.ts:1890
strSuffixConstraint
Section titled “strSuffixConstraint”strSuffixConstraint:
string
Defined in: src/types/inference.ts:1891
strToIntConstraint
Section titled “strToIntConstraint”strToIntConstraint:
string
Defined in: src/types/inference.ts:1892
substitution
Section titled “substitution”substitution:
string
Defined in: src/types/inference.ts:1894
succConstraint
Section titled “succConstraint”succConstraint:
string
Defined in: src/types/inference.ts:1895
tactic
Section titled “tactic”tactic:
string
Defined in: src/types/inference.ts:1896
tacticCombinator
Section titled “tacticCombinator”tacticCombinator:
string
Defined in: src/types/inference.ts:1897
thenTactic
Section titled “thenTactic”thenTactic:
string
Defined in: src/types/inference.ts:1898
theoryLemmaProof
Section titled “theoryLemmaProof”theoryLemmaProof:
string
Defined in: src/types/inference.ts:1899
thing:
string
Defined in: src/types/inference.ts:1900
timesConstraint
Section titled “timesConstraint”timesConstraint:
string
Defined in: src/types/inference.ts:1901
tseitinTactic
Section titled “tseitinTactic”tseitinTactic:
string
Defined in: src/types/inference.ts:1902
variable
Section titled “variable”variable:
string
Defined in: src/types/inference.ts:1903