Interface: MetaSortsResponse
@kortexya/reasoninglayer / Inference / MetaSortsResponse
Interface: MetaSortsResponse
Defined in: src/types/inference.ts:634
Response listing the meta-sorts (built-in system sorts) for inference.
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
absConstraint
absConstraint:
string
Defined in: src/types/inference.ts:635
aggregateConstraint
aggregateConstraint:
string
Defined in: src/types/inference.ts:636
allenConstraint
allenConstraint:
string
Defined in: src/types/inference.ts:637
appendConstraint
appendConstraint:
string
Defined in: src/types/inference.ts:638
arithmeticConstraint
arithmeticConstraint:
string
Defined in: src/types/inference.ts:639
arrayConstConstraint
arrayConstConstraint:
string
Defined in: src/types/inference.ts:640
arrayConstraint
arrayConstraint:
string
Defined in: src/types/inference.ts:641
arrayExtConstraint
arrayExtConstraint:
string
Defined in: src/types/inference.ts:642
arraySelectConstraint
arraySelectConstraint:
string
Defined in: src/types/inference.ts:643
arrayStoreConstraint
arrayStoreConstraint:
string
Defined in: src/types/inference.ts:644
bagofConstraint
bagofConstraint:
string
Defined in: src/types/inference.ts:645
betweenConstraint
betweenConstraint:
string
Defined in: src/types/inference.ts:646
bitBlastTactic
bitBlastTactic:
string
Defined in: src/types/inference.ts:647
bvAddConstraint
bvAddConstraint:
string
Defined in: src/types/inference.ts:648
bvAndConstraint
bvAndConstraint:
string
Defined in: src/types/inference.ts:649
bvAshrConstraint
bvAshrConstraint:
string
Defined in: src/types/inference.ts:650
bvConcatConstraint
bvConcatConstraint:
string
Defined in: src/types/inference.ts:651
bvConstraint
bvConstraint:
string
Defined in: src/types/inference.ts:652
bvExtractConstraint
bvExtractConstraint:
string
Defined in: src/types/inference.ts:653
bvLabelingConstraint
bvLabelingConstraint:
string
Defined in: src/types/inference.ts:654
bvLshrConstraint
bvLshrConstraint:
string
Defined in: src/types/inference.ts:655
bvMulConstraint
bvMulConstraint:
string
Defined in: src/types/inference.ts:656
bvNotConstraint
bvNotConstraint:
string
Defined in: src/types/inference.ts:657
bvOrConstraint
bvOrConstraint:
string
Defined in: src/types/inference.ts:658
bvShlConstraint
bvShlConstraint:
string
Defined in: src/types/inference.ts:659
bvSltConstraint
bvSltConstraint:
string
Defined in: src/types/inference.ts:660
bvSubConstraint
bvSubConstraint:
string
Defined in: src/types/inference.ts:661
bvUdivConstraint
bvUdivConstraint:
string
Defined in: src/types/inference.ts:662
bvUltConstraint
bvUltConstraint:
string
Defined in: src/types/inference.ts:663
bvXorConstraint
bvXorConstraint:
string
Defined in: src/types/inference.ts:664
callConstraint
callConstraint:
string
Defined in: src/types/inference.ts:665
certifiedProof
certifiedProof:
string
Defined in: src/types/inference.ts:666
clause
clause:
string
Defined in: src/types/inference.ts:667
cnfTactic
cnfTactic:
string
Defined in: src/types/inference.ts:668
constraint
constraint:
string
Defined in: src/types/inference.ts:669
cut
cut:
string
Defined in: src/types/inference.ts:670
datatypeConstraint
datatypeConstraint:
string
Defined in: src/types/inference.ts:671
depthProbe
depthProbe:
string
Defined in: src/types/inference.ts:672
disentailment
disentailment:
string
Defined in: src/types/inference.ts:673
disequalityConstraint
disequalityConstraint:
string
Defined in: src/types/inference.ts:674
divConstraint
divConstraint:
string
Defined in: src/types/inference.ts:675
dratClause
dratClause:
string
Defined in: src/types/inference.ts:676
dtConstructorConstraint
dtConstructorConstraint:
string
Defined in: src/types/inference.ts:677
dtSelectorConstraint
dtSelectorConstraint:
string
Defined in: src/types/inference.ts:678
dtTesterConstraint
dtTesterConstraint:
string
Defined in: src/types/inference.ts:679
dtUpdateConstraint
dtUpdateConstraint:
string
Defined in: src/types/inference.ts:680
entailment
entailment:
string
Defined in: src/types/inference.ts:681
equalityConstraint
equalityConstraint:
string
Defined in: src/types/inference.ts:682
featureConstraint
featureConstraint:
string
Defined in: src/types/inference.ts:683
findallConstraint
findallConstraint:
string
Defined in: src/types/inference.ts:684
forallConstraint
forallConstraint:
string
Defined in: src/types/inference.ts:685
fourierMotzkinTactic
fourierMotzkinTactic:
string
Defined in: src/types/inference.ts:686
fpAddConstraint
fpAddConstraint:
string
Defined in: src/types/inference.ts:687
fpConstraint
fpConstraint:
string
Defined in: src/types/inference.ts:688
fpDivConstraint
fpDivConstraint:
string
Defined in: src/types/inference.ts:689
fpEqConstraint
fpEqConstraint:
string
Defined in: src/types/inference.ts:690
fpIsNanConstraint
fpIsNanConstraint:
string
Defined in: src/types/inference.ts:691
fpLtConstraint
fpLtConstraint:
string
Defined in: src/types/inference.ts:692
fpMulConstraint
fpMulConstraint:
string
Defined in: src/types/inference.ts:693
fpSqrtConstraint
fpSqrtConstraint:
string
Defined in: src/types/inference.ts:694
fpSubConstraint
fpSubConstraint:
string
Defined in: src/types/inference.ts:695
fpToRealConstraint
fpToRealConstraint:
string
Defined in: src/types/inference.ts:696
goal
goal:
string
Defined in: src/types/inference.ts:697
guardConstraint
guardConstraint:
string
Defined in: src/types/inference.ts:698
ifTactic
ifTactic:
string
Defined in: src/types/inference.ts:699
ifThenElseConstraint
ifThenElseConstraint:
string
Defined in: src/types/inference.ts:700
lastConstraint
lastConstraint:
string
Defined in: src/types/inference.ts:701
lengthConstraint
lengthConstraint:
string
Defined in: src/types/inference.ts:702
lexicographicObjective
lexicographicObjective:
string
Defined in: src/types/inference.ts:703
maxConstraint
maxConstraint:
string
Defined in: src/types/inference.ts:704
maximizeObjective
maximizeObjective:
string
Defined in: src/types/inference.ts:705
memberConstraint
memberConstraint:
string
Defined in: src/types/inference.ts:706
minConstraint
minConstraint:
string
Defined in: src/types/inference.ts:707
minimizeObjective
minimizeObjective:
string
Defined in: src/types/inference.ts:708
minusConstraint
minusConstraint:
string
Defined in: src/types/inference.ts:709
modConstraint
modConstraint:
string
Defined in: src/types/inference.ts:710
negation
negation:
string
Defined in: src/types/inference.ts:711
nlaConstraint
nlaConstraint:
string
Defined in: src/types/inference.ts:712
nlaLabelingConstraint
nlaLabelingConstraint:
string
Defined in: src/types/inference.ts:713
nlaPolynomialConstraint
nlaPolynomialConstraint:
string
Defined in: src/types/inference.ts:714
nlaPowerConstraint
nlaPowerConstraint:
string
Defined in: src/types/inference.ts:715
nnfTactic
nnfTactic:
string
Defined in: src/types/inference.ts:716
nthConstraint
nthConstraint:
string
Defined in: src/types/inference.ts:717
numVarsProbe
numVarsProbe:
string
Defined in: src/types/inference.ts:718
objectiveResult
objectiveResult:
string
Defined in: src/types/inference.ts:719
onceConstraint
onceConstraint:
string
Defined in: src/types/inference.ts:720
optimizationConstraint
optimizationConstraint:
string
Defined in: src/types/inference.ts:721
paretoObjective
paretoObjective:
string
Defined in: src/types/inference.ts:723
parOrTactic
parOrTactic:
string
Defined in: src/types/inference.ts:722
pdrCounterexample
pdrCounterexample:
string
Defined in: src/types/inference.ts:724
pdrCube
pdrCube:
string
Defined in: src/types/inference.ts:725
pdrFrame
pdrFrame:
string
Defined in: src/types/inference.ts:726
pdrInvariant
pdrInvariant:
string
Defined in: src/types/inference.ts:727
pdrModelCheck
pdrModelCheck:
string
Defined in: src/types/inference.ts:728
pdrObligation
pdrObligation:
string
Defined in: src/types/inference.ts:729
pdrTransition
pdrTransition:
string
Defined in: src/types/inference.ts:730
plusConstraint
plusConstraint:
string
Defined in: src/types/inference.ts:731
probe
probe:
string
Defined in: src/types/inference.ts:732
proofCertificate
proofCertificate:
string
Defined in: src/types/inference.ts:733
proofStep
proofStep:
string
Defined in: src/types/inference.ts:734
propagateValuesTactic
propagateValuesTactic:
string
Defined in: src/types/inference.ts:735
qeConstraint
qeConstraint:
string
Defined in: src/types/inference.ts:736
qeEliminate
qeEliminate:
string
Defined in: src/types/inference.ts:737
qeExists
qeExists:
string
Defined in: src/types/inference.ts:738
qeForall
qeForall:
string
Defined in: src/types/inference.ts:739
realAbsConstraint
realAbsConstraint:
string
Defined in: src/types/inference.ts:745
realBetweenConstraint
realBetweenConstraint:
string
Defined in: src/types/inference.ts:746
realConstraint
realConstraint:
string
Defined in: src/types/inference.ts:747
realDivConstraint
realDivConstraint:
string
Defined in: src/types/inference.ts:748
realEqConstraint
realEqConstraint:
string
Defined in: src/types/inference.ts:749
realGeConstraint
realGeConstraint:
string
Defined in: src/types/inference.ts:750
realLabelingConstraint
realLabelingConstraint:
string
Defined in: src/types/inference.ts:751
realLeConstraint
realLeConstraint:
string
Defined in: src/types/inference.ts:752
realMaxConstraint
realMaxConstraint:
string
Defined in: src/types/inference.ts:753
realMinConstraint
realMinConstraint:
string
Defined in: src/types/inference.ts:754
realMinusConstraint
realMinusConstraint:
string
Defined in: src/types/inference.ts:755
realPlusConstraint
realPlusConstraint:
string
Defined in: src/types/inference.ts:756
realTimesConstraint
realTimesConstraint:
string
Defined in: src/types/inference.ts:757
reConcatConstraint
reConcatConstraint:
string
Defined in: src/types/inference.ts:740
regexConstraint
regexConstraint:
string
Defined in: src/types/inference.ts:758
reLiteralConstraint
reLiteralConstraint:
string
Defined in: src/types/inference.ts:741
repeatTactic
repeatTactic:
string
Defined in: src/types/inference.ts:759
reRangeConstraint
reRangeConstraint:
string
Defined in: src/types/inference.ts:742
resolutionStep
resolutionStep:
string
Defined in: src/types/inference.ts:760
reStarConstraint
reStarConstraint:
string
Defined in: src/types/inference.ts:743
reUnionConstraint
reUnionConstraint:
string
Defined in: src/types/inference.ts:744
reverseConstraint
reverseConstraint:
string
Defined in: src/types/inference.ts:761
rule
rule:
string
Defined in: src/types/inference.ts:762
satAssert
satAssert:
string
Defined in: src/types/inference.ts:763
satAssumption
satAssumption:
string
Defined in: src/types/inference.ts:764
satCheckSat
satCheckSat:
string
Defined in: src/types/inference.ts:765
satClause
satClause:
string
Defined in: src/types/inference.ts:766
satConflict
satConflict:
string
Defined in: src/types/inference.ts:767
satConstraint
satConstraint:
string
Defined in: src/types/inference.ts:768
satGetModel
satGetModel:
string
Defined in: src/types/inference.ts:769
satLiteral
satLiteral:
string
Defined in: src/types/inference.ts:770
satVariableSort
satVariableSort:
string
Defined in: src/types/inference.ts:771
setofConstraint
setofConstraint:
string
Defined in: src/types/inference.ts:772
simplifyTactic
simplifyTactic:
string
Defined in: src/types/inference.ts:773
smtAssert
smtAssert:
string
Defined in: src/types/inference.ts:774
smtCheckSat
smtCheckSat:
string
Defined in: src/types/inference.ts:775
smtConstraint
smtConstraint:
string
Defined in: src/types/inference.ts:776
smtGetModel
smtGetModel:
string
Defined in: src/types/inference.ts:777
smtGetProof
smtGetProof:
string
Defined in: src/types/inference.ts:778
smtPop
smtPop:
string
Defined in: src/types/inference.ts:779
smtPush
smtPush:
string
Defined in: src/types/inference.ts:780
softConstraint
softConstraint:
string
Defined in: src/types/inference.ts:781
solveEqsTactic
solveEqsTactic:
string
Defined in: src/types/inference.ts:782
sortConstraint
sortConstraint:
string
Defined in: src/types/inference.ts:783
strConcatConstraint
strConcatConstraint:
string
Defined in: src/types/inference.ts:784
strContainsConstraint
strContainsConstraint:
string
Defined in: src/types/inference.ts:785
strFromIntConstraint
strFromIntConstraint:
string
Defined in: src/types/inference.ts:786
stringConstraint
stringConstraint:
string
Defined in: src/types/inference.ts:795
strLabelingConstraint
strLabelingConstraint:
string
Defined in: src/types/inference.ts:787
strLengthConstraint
strLengthConstraint:
string
Defined in: src/types/inference.ts:788
strPrefixConstraint
strPrefixConstraint:
string
Defined in: src/types/inference.ts:789
strRegexMatchConstraint
strRegexMatchConstraint:
string
Defined in: src/types/inference.ts:790
strReplaceConstraint
strReplaceConstraint:
string
Defined in: src/types/inference.ts:791
strSubstrConstraint
strSubstrConstraint:
string
Defined in: src/types/inference.ts:792
strSuffixConstraint
strSuffixConstraint:
string
Defined in: src/types/inference.ts:793
strToIntConstraint
strToIntConstraint:
string
Defined in: src/types/inference.ts:794
substitution
substitution:
string
Defined in: src/types/inference.ts:796
succConstraint
succConstraint:
string
Defined in: src/types/inference.ts:797
tactic
tactic:
string
Defined in: src/types/inference.ts:798
tacticCombinator
tacticCombinator:
string
Defined in: src/types/inference.ts:799
thenTactic
thenTactic:
string
Defined in: src/types/inference.ts:800
theoryLemmaProof
theoryLemmaProof:
string
Defined in: src/types/inference.ts:801
thing
thing:
string
Defined in: src/types/inference.ts:802
timesConstraint
timesConstraint:
string
Defined in: src/types/inference.ts:803
tseitinTactic
tseitinTactic:
string
Defined in: src/types/inference.ts:804
variable
variable:
string
Defined in: src/types/inference.ts:805