Interface: MetaSortsResponse
@kortexya/reasoninglayer / Inference / MetaSortsResponse
Interface: MetaSortsResponse
Defined in: src/types/inference.ts:673
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:674
aggregateConstraint
aggregateConstraint:
string
Defined in: src/types/inference.ts:675
allenConstraint
allenConstraint:
string
Defined in: src/types/inference.ts:676
appendConstraint
appendConstraint:
string
Defined in: src/types/inference.ts:677
arithmeticConstraint
arithmeticConstraint:
string
Defined in: src/types/inference.ts:678
arrayConstConstraint
arrayConstConstraint:
string
Defined in: src/types/inference.ts:679
arrayConstraint
arrayConstraint:
string
Defined in: src/types/inference.ts:680
arrayExtConstraint
arrayExtConstraint:
string
Defined in: src/types/inference.ts:681
arraySelectConstraint
arraySelectConstraint:
string
Defined in: src/types/inference.ts:682
arrayStoreConstraint
arrayStoreConstraint:
string
Defined in: src/types/inference.ts:683
bagofConstraint
bagofConstraint:
string
Defined in: src/types/inference.ts:684
betweenConstraint
betweenConstraint:
string
Defined in: src/types/inference.ts:685
bitBlastTactic
bitBlastTactic:
string
Defined in: src/types/inference.ts:686
bvAddConstraint
bvAddConstraint:
string
Defined in: src/types/inference.ts:687
bvAndConstraint
bvAndConstraint:
string
Defined in: src/types/inference.ts:688
bvAshrConstraint
bvAshrConstraint:
string
Defined in: src/types/inference.ts:689
bvConcatConstraint
bvConcatConstraint:
string
Defined in: src/types/inference.ts:690
bvConstraint
bvConstraint:
string
Defined in: src/types/inference.ts:691
bvExtractConstraint
bvExtractConstraint:
string
Defined in: src/types/inference.ts:692
bvLabelingConstraint
bvLabelingConstraint:
string
Defined in: src/types/inference.ts:693
bvLshrConstraint
bvLshrConstraint:
string
Defined in: src/types/inference.ts:694
bvMulConstraint
bvMulConstraint:
string
Defined in: src/types/inference.ts:695
bvNotConstraint
bvNotConstraint:
string
Defined in: src/types/inference.ts:696
bvOrConstraint
bvOrConstraint:
string
Defined in: src/types/inference.ts:697
bvShlConstraint
bvShlConstraint:
string
Defined in: src/types/inference.ts:698
bvSltConstraint
bvSltConstraint:
string
Defined in: src/types/inference.ts:699
bvSubConstraint
bvSubConstraint:
string
Defined in: src/types/inference.ts:700
bvUdivConstraint
bvUdivConstraint:
string
Defined in: src/types/inference.ts:701
bvUltConstraint
bvUltConstraint:
string
Defined in: src/types/inference.ts:702
bvXorConstraint
bvXorConstraint:
string
Defined in: src/types/inference.ts:703
callConstraint
callConstraint:
string
Defined in: src/types/inference.ts:704
certifiedProof
certifiedProof:
string
Defined in: src/types/inference.ts:705
clause
clause:
string
Defined in: src/types/inference.ts:706
cnfTactic
cnfTactic:
string
Defined in: src/types/inference.ts:707
constraint
constraint:
string
Defined in: src/types/inference.ts:708
cut
cut:
string
Defined in: src/types/inference.ts:709
datatypeConstraint
datatypeConstraint:
string
Defined in: src/types/inference.ts:710
depthProbe
depthProbe:
string
Defined in: src/types/inference.ts:711
disentailment
disentailment:
string
Defined in: src/types/inference.ts:712
disequalityConstraint
disequalityConstraint:
string
Defined in: src/types/inference.ts:713
divConstraint
divConstraint:
string
Defined in: src/types/inference.ts:714
dratClause
dratClause:
string
Defined in: src/types/inference.ts:715
dtConstructorConstraint
dtConstructorConstraint:
string
Defined in: src/types/inference.ts:716
dtSelectorConstraint
dtSelectorConstraint:
string
Defined in: src/types/inference.ts:717
dtTesterConstraint
dtTesterConstraint:
string
Defined in: src/types/inference.ts:718
dtUpdateConstraint
dtUpdateConstraint:
string
Defined in: src/types/inference.ts:719
entailment
entailment:
string
Defined in: src/types/inference.ts:720
equalityConstraint
equalityConstraint:
string
Defined in: src/types/inference.ts:721
featureConstraint
featureConstraint:
string
Defined in: src/types/inference.ts:722
findallConstraint
findallConstraint:
string
Defined in: src/types/inference.ts:723
forallConstraint
forallConstraint:
string
Defined in: src/types/inference.ts:724
fourierMotzkinTactic
fourierMotzkinTactic:
string
Defined in: src/types/inference.ts:725
fpAddConstraint
fpAddConstraint:
string
Defined in: src/types/inference.ts:726
fpConstraint
fpConstraint:
string
Defined in: src/types/inference.ts:727
fpDivConstraint
fpDivConstraint:
string
Defined in: src/types/inference.ts:728
fpEqConstraint
fpEqConstraint:
string
Defined in: src/types/inference.ts:729
fpIsNanConstraint
fpIsNanConstraint:
string
Defined in: src/types/inference.ts:730
fpLtConstraint
fpLtConstraint:
string
Defined in: src/types/inference.ts:731
fpMulConstraint
fpMulConstraint:
string
Defined in: src/types/inference.ts:732
fpSqrtConstraint
fpSqrtConstraint:
string
Defined in: src/types/inference.ts:733
fpSubConstraint
fpSubConstraint:
string
Defined in: src/types/inference.ts:734
fpToRealConstraint
fpToRealConstraint:
string
Defined in: src/types/inference.ts:735
goal
goal:
string
Defined in: src/types/inference.ts:736
guardConstraint
guardConstraint:
string
Defined in: src/types/inference.ts:737
ifTactic
ifTactic:
string
Defined in: src/types/inference.ts:738
ifThenElseConstraint
ifThenElseConstraint:
string
Defined in: src/types/inference.ts:739
lastConstraint
lastConstraint:
string
Defined in: src/types/inference.ts:740
lengthConstraint
lengthConstraint:
string
Defined in: src/types/inference.ts:741
lexicographicObjective
lexicographicObjective:
string
Defined in: src/types/inference.ts:742
maxConstraint
maxConstraint:
string
Defined in: src/types/inference.ts:743
maximizeObjective
maximizeObjective:
string
Defined in: src/types/inference.ts:744
memberConstraint
memberConstraint:
string
Defined in: src/types/inference.ts:745
minConstraint
minConstraint:
string
Defined in: src/types/inference.ts:746
minimizeObjective
minimizeObjective:
string
Defined in: src/types/inference.ts:747
minusConstraint
minusConstraint:
string
Defined in: src/types/inference.ts:748
modConstraint
modConstraint:
string
Defined in: src/types/inference.ts:749
negation
negation:
string
Defined in: src/types/inference.ts:750
nlaConstraint
nlaConstraint:
string
Defined in: src/types/inference.ts:751
nlaLabelingConstraint
nlaLabelingConstraint:
string
Defined in: src/types/inference.ts:752
nlaPolynomialConstraint
nlaPolynomialConstraint:
string
Defined in: src/types/inference.ts:753
nlaPowerConstraint
nlaPowerConstraint:
string
Defined in: src/types/inference.ts:754
nnfTactic
nnfTactic:
string
Defined in: src/types/inference.ts:755
nthConstraint
nthConstraint:
string
Defined in: src/types/inference.ts:756
numVarsProbe
numVarsProbe:
string
Defined in: src/types/inference.ts:757
objectiveResult
objectiveResult:
string
Defined in: src/types/inference.ts:758
onceConstraint
onceConstraint:
string
Defined in: src/types/inference.ts:759
optimizationConstraint
optimizationConstraint:
string
Defined in: src/types/inference.ts:760
paretoObjective
paretoObjective:
string
Defined in: src/types/inference.ts:762
parOrTactic
parOrTactic:
string
Defined in: src/types/inference.ts:761
pdrCounterexample
pdrCounterexample:
string
Defined in: src/types/inference.ts:763
pdrCube
pdrCube:
string
Defined in: src/types/inference.ts:764
pdrFrame
pdrFrame:
string
Defined in: src/types/inference.ts:765
pdrInvariant
pdrInvariant:
string
Defined in: src/types/inference.ts:766
pdrModelCheck
pdrModelCheck:
string
Defined in: src/types/inference.ts:767
pdrObligation
pdrObligation:
string
Defined in: src/types/inference.ts:768
pdrTransition
pdrTransition:
string
Defined in: src/types/inference.ts:769
plusConstraint
plusConstraint:
string
Defined in: src/types/inference.ts:770
probe
probe:
string
Defined in: src/types/inference.ts:771
proofCertificate
proofCertificate:
string
Defined in: src/types/inference.ts:772
proofStep
proofStep:
string
Defined in: src/types/inference.ts:773
propagateValuesTactic
propagateValuesTactic:
string
Defined in: src/types/inference.ts:774
qeConstraint
qeConstraint:
string
Defined in: src/types/inference.ts:775
qeEliminate
qeEliminate:
string
Defined in: src/types/inference.ts:776
qeExists
qeExists:
string
Defined in: src/types/inference.ts:777
qeForall
qeForall:
string
Defined in: src/types/inference.ts:778
realAbsConstraint
realAbsConstraint:
string
Defined in: src/types/inference.ts:784
realBetweenConstraint
realBetweenConstraint:
string
Defined in: src/types/inference.ts:785
realConstraint
realConstraint:
string
Defined in: src/types/inference.ts:786
realDivConstraint
realDivConstraint:
string
Defined in: src/types/inference.ts:787
realEqConstraint
realEqConstraint:
string
Defined in: src/types/inference.ts:788
realGeConstraint
realGeConstraint:
string
Defined in: src/types/inference.ts:789
realLabelingConstraint
realLabelingConstraint:
string
Defined in: src/types/inference.ts:790
realLeConstraint
realLeConstraint:
string
Defined in: src/types/inference.ts:791
realMaxConstraint
realMaxConstraint:
string
Defined in: src/types/inference.ts:792
realMinConstraint
realMinConstraint:
string
Defined in: src/types/inference.ts:793
realMinusConstraint
realMinusConstraint:
string
Defined in: src/types/inference.ts:794
realPlusConstraint
realPlusConstraint:
string
Defined in: src/types/inference.ts:795
realTimesConstraint
realTimesConstraint:
string
Defined in: src/types/inference.ts:796
reConcatConstraint
reConcatConstraint:
string
Defined in: src/types/inference.ts:779
regexConstraint
regexConstraint:
string
Defined in: src/types/inference.ts:797
reLiteralConstraint
reLiteralConstraint:
string
Defined in: src/types/inference.ts:780
repeatTactic
repeatTactic:
string
Defined in: src/types/inference.ts:798
reRangeConstraint
reRangeConstraint:
string
Defined in: src/types/inference.ts:781
resolutionStep
resolutionStep:
string
Defined in: src/types/inference.ts:799
reStarConstraint
reStarConstraint:
string
Defined in: src/types/inference.ts:782
reUnionConstraint
reUnionConstraint:
string
Defined in: src/types/inference.ts:783
reverseConstraint
reverseConstraint:
string
Defined in: src/types/inference.ts:800
rule
rule:
string
Defined in: src/types/inference.ts:801
satAssert
satAssert:
string
Defined in: src/types/inference.ts:802
satAssumption
satAssumption:
string
Defined in: src/types/inference.ts:803
satCheckSat
satCheckSat:
string
Defined in: src/types/inference.ts:804
satClause
satClause:
string
Defined in: src/types/inference.ts:805
satConflict
satConflict:
string
Defined in: src/types/inference.ts:806
satConstraint
satConstraint:
string
Defined in: src/types/inference.ts:807
satGetModel
satGetModel:
string
Defined in: src/types/inference.ts:808
satLiteral
satLiteral:
string
Defined in: src/types/inference.ts:809
satVariableSort
satVariableSort:
string
Defined in: src/types/inference.ts:810
setofConstraint
setofConstraint:
string
Defined in: src/types/inference.ts:811
simplifyTactic
simplifyTactic:
string
Defined in: src/types/inference.ts:812
smtAssert
smtAssert:
string
Defined in: src/types/inference.ts:813
smtCheckSat
smtCheckSat:
string
Defined in: src/types/inference.ts:814
smtConstraint
smtConstraint:
string
Defined in: src/types/inference.ts:815
smtGetModel
smtGetModel:
string
Defined in: src/types/inference.ts:816
smtGetProof
smtGetProof:
string
Defined in: src/types/inference.ts:817
smtPop
smtPop:
string
Defined in: src/types/inference.ts:818
smtPush
smtPush:
string
Defined in: src/types/inference.ts:819
softConstraint
softConstraint:
string
Defined in: src/types/inference.ts:820
solveEqsTactic
solveEqsTactic:
string
Defined in: src/types/inference.ts:821
sortConstraint
sortConstraint:
string
Defined in: src/types/inference.ts:822
strConcatConstraint
strConcatConstraint:
string
Defined in: src/types/inference.ts:823
strContainsConstraint
strContainsConstraint:
string
Defined in: src/types/inference.ts:824
strFromIntConstraint
strFromIntConstraint:
string
Defined in: src/types/inference.ts:825
stringConstraint
stringConstraint:
string
Defined in: src/types/inference.ts:834
strLabelingConstraint
strLabelingConstraint:
string
Defined in: src/types/inference.ts:826
strLengthConstraint
strLengthConstraint:
string
Defined in: src/types/inference.ts:827
strPrefixConstraint
strPrefixConstraint:
string
Defined in: src/types/inference.ts:828
strRegexMatchConstraint
strRegexMatchConstraint:
string
Defined in: src/types/inference.ts:829
strReplaceConstraint
strReplaceConstraint:
string
Defined in: src/types/inference.ts:830
strSubstrConstraint
strSubstrConstraint:
string
Defined in: src/types/inference.ts:831
strSuffixConstraint
strSuffixConstraint:
string
Defined in: src/types/inference.ts:832
strToIntConstraint
strToIntConstraint:
string
Defined in: src/types/inference.ts:833
substitution
substitution:
string
Defined in: src/types/inference.ts:835
succConstraint
succConstraint:
string
Defined in: src/types/inference.ts:836
tactic
tactic:
string
Defined in: src/types/inference.ts:837
tacticCombinator
tacticCombinator:
string
Defined in: src/types/inference.ts:838
thenTactic
thenTactic:
string
Defined in: src/types/inference.ts:839
theoryLemmaProof
theoryLemmaProof:
string
Defined in: src/types/inference.ts:840
thing
thing:
string
Defined in: src/types/inference.ts:841
timesConstraint
timesConstraint:
string
Defined in: src/types/inference.ts:842
tseitinTactic
tseitinTactic:
string
Defined in: src/types/inference.ts:843
variable
variable:
string
Defined in: src/types/inference.ts:844