Interface: MetaSortsResponse
@kortexya/reasoninglayer / Inference / MetaSortsResponse
Interface: MetaSortsResponse
Defined in: src/types/inference.ts:764
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:765
aggregateConstraint
aggregateConstraint:
string
Defined in: src/types/inference.ts:766
allenConstraint
allenConstraint:
string
Defined in: src/types/inference.ts:767
appendConstraint
appendConstraint:
string
Defined in: src/types/inference.ts:768
arithmeticConstraint
arithmeticConstraint:
string
Defined in: src/types/inference.ts:769
arrayConstConstraint
arrayConstConstraint:
string
Defined in: src/types/inference.ts:770
arrayConstraint
arrayConstraint:
string
Defined in: src/types/inference.ts:771
arrayExtConstraint
arrayExtConstraint:
string
Defined in: src/types/inference.ts:772
arraySelectConstraint
arraySelectConstraint:
string
Defined in: src/types/inference.ts:773
arrayStoreConstraint
arrayStoreConstraint:
string
Defined in: src/types/inference.ts:774
bagofConstraint
bagofConstraint:
string
Defined in: src/types/inference.ts:775
betweenConstraint
betweenConstraint:
string
Defined in: src/types/inference.ts:776
bitBlastTactic
bitBlastTactic:
string
Defined in: src/types/inference.ts:777
bvAddConstraint
bvAddConstraint:
string
Defined in: src/types/inference.ts:778
bvAndConstraint
bvAndConstraint:
string
Defined in: src/types/inference.ts:779
bvAshrConstraint
bvAshrConstraint:
string
Defined in: src/types/inference.ts:780
bvConcatConstraint
bvConcatConstraint:
string
Defined in: src/types/inference.ts:781
bvConstraint
bvConstraint:
string
Defined in: src/types/inference.ts:782
bvExtractConstraint
bvExtractConstraint:
string
Defined in: src/types/inference.ts:783
bvLabelingConstraint
bvLabelingConstraint:
string
Defined in: src/types/inference.ts:784
bvLshrConstraint
bvLshrConstraint:
string
Defined in: src/types/inference.ts:785
bvMulConstraint
bvMulConstraint:
string
Defined in: src/types/inference.ts:786
bvNotConstraint
bvNotConstraint:
string
Defined in: src/types/inference.ts:787
bvOrConstraint
bvOrConstraint:
string
Defined in: src/types/inference.ts:788
bvShlConstraint
bvShlConstraint:
string
Defined in: src/types/inference.ts:789
bvSltConstraint
bvSltConstraint:
string
Defined in: src/types/inference.ts:790
bvSubConstraint
bvSubConstraint:
string
Defined in: src/types/inference.ts:791
bvUdivConstraint
bvUdivConstraint:
string
Defined in: src/types/inference.ts:792
bvUltConstraint
bvUltConstraint:
string
Defined in: src/types/inference.ts:793
bvXorConstraint
bvXorConstraint:
string
Defined in: src/types/inference.ts:794
callConstraint
callConstraint:
string
Defined in: src/types/inference.ts:795
certifiedProof
certifiedProof:
string
Defined in: src/types/inference.ts:796
clause
clause:
string
Defined in: src/types/inference.ts:797
cnfTactic
cnfTactic:
string
Defined in: src/types/inference.ts:798
constraint
constraint:
string
Defined in: src/types/inference.ts:799
cut
cut:
string
Defined in: src/types/inference.ts:800
datatypeConstraint
datatypeConstraint:
string
Defined in: src/types/inference.ts:801
depthProbe
depthProbe:
string
Defined in: src/types/inference.ts:802
disentailment
disentailment:
string
Defined in: src/types/inference.ts:803
disequalityConstraint
disequalityConstraint:
string
Defined in: src/types/inference.ts:804
divConstraint
divConstraint:
string
Defined in: src/types/inference.ts:805
dratClause
dratClause:
string
Defined in: src/types/inference.ts:806
dtConstructorConstraint
dtConstructorConstraint:
string
Defined in: src/types/inference.ts:807
dtSelectorConstraint
dtSelectorConstraint:
string
Defined in: src/types/inference.ts:808
dtTesterConstraint
dtTesterConstraint:
string
Defined in: src/types/inference.ts:809
dtUpdateConstraint
dtUpdateConstraint:
string
Defined in: src/types/inference.ts:810
entailment
entailment:
string
Defined in: src/types/inference.ts:811
equalityConstraint
equalityConstraint:
string
Defined in: src/types/inference.ts:812
featureConstraint
featureConstraint:
string
Defined in: src/types/inference.ts:813
findallConstraint
findallConstraint:
string
Defined in: src/types/inference.ts:814
forallConstraint
forallConstraint:
string
Defined in: src/types/inference.ts:815
fourierMotzkinTactic
fourierMotzkinTactic:
string
Defined in: src/types/inference.ts:816
fpAddConstraint
fpAddConstraint:
string
Defined in: src/types/inference.ts:817
fpConstraint
fpConstraint:
string
Defined in: src/types/inference.ts:818
fpDivConstraint
fpDivConstraint:
string
Defined in: src/types/inference.ts:819
fpEqConstraint
fpEqConstraint:
string
Defined in: src/types/inference.ts:820
fpIsNanConstraint
fpIsNanConstraint:
string
Defined in: src/types/inference.ts:821
fpLtConstraint
fpLtConstraint:
string
Defined in: src/types/inference.ts:822
fpMulConstraint
fpMulConstraint:
string
Defined in: src/types/inference.ts:823
fpSqrtConstraint
fpSqrtConstraint:
string
Defined in: src/types/inference.ts:824
fpSubConstraint
fpSubConstraint:
string
Defined in: src/types/inference.ts:825
fpToRealConstraint
fpToRealConstraint:
string
Defined in: src/types/inference.ts:826
goal
goal:
string
Defined in: src/types/inference.ts:827
guardConstraint
guardConstraint:
string
Defined in: src/types/inference.ts:828
ifTactic
ifTactic:
string
Defined in: src/types/inference.ts:829
ifThenElseConstraint
ifThenElseConstraint:
string
Defined in: src/types/inference.ts:830
lastConstraint
lastConstraint:
string
Defined in: src/types/inference.ts:831
lengthConstraint
lengthConstraint:
string
Defined in: src/types/inference.ts:832
lexicographicObjective
lexicographicObjective:
string
Defined in: src/types/inference.ts:833
maxConstraint
maxConstraint:
string
Defined in: src/types/inference.ts:834
maximizeObjective
maximizeObjective:
string
Defined in: src/types/inference.ts:835
memberConstraint
memberConstraint:
string
Defined in: src/types/inference.ts:836
minConstraint
minConstraint:
string
Defined in: src/types/inference.ts:837
minimizeObjective
minimizeObjective:
string
Defined in: src/types/inference.ts:838
minusConstraint
minusConstraint:
string
Defined in: src/types/inference.ts:839
modConstraint
modConstraint:
string
Defined in: src/types/inference.ts:840
negation
negation:
string
Defined in: src/types/inference.ts:841
nlaConstraint
nlaConstraint:
string
Defined in: src/types/inference.ts:842
nlaLabelingConstraint
nlaLabelingConstraint:
string
Defined in: src/types/inference.ts:843
nlaPolynomialConstraint
nlaPolynomialConstraint:
string
Defined in: src/types/inference.ts:844
nlaPowerConstraint
nlaPowerConstraint:
string
Defined in: src/types/inference.ts:845
nnfTactic
nnfTactic:
string
Defined in: src/types/inference.ts:846
nthConstraint
nthConstraint:
string
Defined in: src/types/inference.ts:847
numVarsProbe
numVarsProbe:
string
Defined in: src/types/inference.ts:848
objectiveResult
objectiveResult:
string
Defined in: src/types/inference.ts:849
onceConstraint
onceConstraint:
string
Defined in: src/types/inference.ts:850
optimizationConstraint
optimizationConstraint:
string
Defined in: src/types/inference.ts:851
paretoObjective
paretoObjective:
string
Defined in: src/types/inference.ts:853
parOrTactic
parOrTactic:
string
Defined in: src/types/inference.ts:852
pdrCounterexample
pdrCounterexample:
string
Defined in: src/types/inference.ts:854
pdrCube
pdrCube:
string
Defined in: src/types/inference.ts:855
pdrFrame
pdrFrame:
string
Defined in: src/types/inference.ts:856
pdrInvariant
pdrInvariant:
string
Defined in: src/types/inference.ts:857
pdrModelCheck
pdrModelCheck:
string
Defined in: src/types/inference.ts:858
pdrObligation
pdrObligation:
string
Defined in: src/types/inference.ts:859
pdrTransition
pdrTransition:
string
Defined in: src/types/inference.ts:860
plusConstraint
plusConstraint:
string
Defined in: src/types/inference.ts:861
probe
probe:
string
Defined in: src/types/inference.ts:862
proofCertificate
proofCertificate:
string
Defined in: src/types/inference.ts:863
proofStep
proofStep:
string
Defined in: src/types/inference.ts:864
propagateValuesTactic
propagateValuesTactic:
string
Defined in: src/types/inference.ts:865
qeConstraint
qeConstraint:
string
Defined in: src/types/inference.ts:866
qeEliminate
qeEliminate:
string
Defined in: src/types/inference.ts:867
qeExists
qeExists:
string
Defined in: src/types/inference.ts:868
qeForall
qeForall:
string
Defined in: src/types/inference.ts:869
realAbsConstraint
realAbsConstraint:
string
Defined in: src/types/inference.ts:875
realBetweenConstraint
realBetweenConstraint:
string
Defined in: src/types/inference.ts:876
realConstraint
realConstraint:
string
Defined in: src/types/inference.ts:877
realDivConstraint
realDivConstraint:
string
Defined in: src/types/inference.ts:878
realEqConstraint
realEqConstraint:
string
Defined in: src/types/inference.ts:879
realGeConstraint
realGeConstraint:
string
Defined in: src/types/inference.ts:880
realLabelingConstraint
realLabelingConstraint:
string
Defined in: src/types/inference.ts:881
realLeConstraint
realLeConstraint:
string
Defined in: src/types/inference.ts:882
realMaxConstraint
realMaxConstraint:
string
Defined in: src/types/inference.ts:883
realMinConstraint
realMinConstraint:
string
Defined in: src/types/inference.ts:884
realMinusConstraint
realMinusConstraint:
string
Defined in: src/types/inference.ts:885
realPlusConstraint
realPlusConstraint:
string
Defined in: src/types/inference.ts:886
realTimesConstraint
realTimesConstraint:
string
Defined in: src/types/inference.ts:887
reConcatConstraint
reConcatConstraint:
string
Defined in: src/types/inference.ts:870
regexConstraint
regexConstraint:
string
Defined in: src/types/inference.ts:888
reLiteralConstraint
reLiteralConstraint:
string
Defined in: src/types/inference.ts:871
repeatTactic
repeatTactic:
string
Defined in: src/types/inference.ts:889
reRangeConstraint
reRangeConstraint:
string
Defined in: src/types/inference.ts:872
resolutionStep
resolutionStep:
string
Defined in: src/types/inference.ts:890
reStarConstraint
reStarConstraint:
string
Defined in: src/types/inference.ts:873
reUnionConstraint
reUnionConstraint:
string
Defined in: src/types/inference.ts:874
reverseConstraint
reverseConstraint:
string
Defined in: src/types/inference.ts:891
rule
rule:
string
Defined in: src/types/inference.ts:892
satAssert
satAssert:
string
Defined in: src/types/inference.ts:893
satAssumption
satAssumption:
string
Defined in: src/types/inference.ts:894
satCheckSat
satCheckSat:
string
Defined in: src/types/inference.ts:895
satClause
satClause:
string
Defined in: src/types/inference.ts:896
satConflict
satConflict:
string
Defined in: src/types/inference.ts:897
satConstraint
satConstraint:
string
Defined in: src/types/inference.ts:898
satGetModel
satGetModel:
string
Defined in: src/types/inference.ts:899
satLiteral
satLiteral:
string
Defined in: src/types/inference.ts:900
satVariableSort
satVariableSort:
string
Defined in: src/types/inference.ts:901
setofConstraint
setofConstraint:
string
Defined in: src/types/inference.ts:902
simplifyTactic
simplifyTactic:
string
Defined in: src/types/inference.ts:903
smtAssert
smtAssert:
string
Defined in: src/types/inference.ts:904
smtCheckSat
smtCheckSat:
string
Defined in: src/types/inference.ts:905
smtConstraint
smtConstraint:
string
Defined in: src/types/inference.ts:906
smtGetModel
smtGetModel:
string
Defined in: src/types/inference.ts:907
smtGetProof
smtGetProof:
string
Defined in: src/types/inference.ts:908
smtPop
smtPop:
string
Defined in: src/types/inference.ts:909
smtPush
smtPush:
string
Defined in: src/types/inference.ts:910
softConstraint
softConstraint:
string
Defined in: src/types/inference.ts:911
solveEqsTactic
solveEqsTactic:
string
Defined in: src/types/inference.ts:912
sortConstraint
sortConstraint:
string
Defined in: src/types/inference.ts:913
strConcatConstraint
strConcatConstraint:
string
Defined in: src/types/inference.ts:914
strContainsConstraint
strContainsConstraint:
string
Defined in: src/types/inference.ts:915
strFromIntConstraint
strFromIntConstraint:
string
Defined in: src/types/inference.ts:916
stringConstraint
stringConstraint:
string
Defined in: src/types/inference.ts:925
strLabelingConstraint
strLabelingConstraint:
string
Defined in: src/types/inference.ts:917
strLengthConstraint
strLengthConstraint:
string
Defined in: src/types/inference.ts:918
strPrefixConstraint
strPrefixConstraint:
string
Defined in: src/types/inference.ts:919
strRegexMatchConstraint
strRegexMatchConstraint:
string
Defined in: src/types/inference.ts:920
strReplaceConstraint
strReplaceConstraint:
string
Defined in: src/types/inference.ts:921
strSubstrConstraint
strSubstrConstraint:
string
Defined in: src/types/inference.ts:922
strSuffixConstraint
strSuffixConstraint:
string
Defined in: src/types/inference.ts:923
strToIntConstraint
strToIntConstraint:
string
Defined in: src/types/inference.ts:924
substitution
substitution:
string
Defined in: src/types/inference.ts:926
succConstraint
succConstraint:
string
Defined in: src/types/inference.ts:927
tactic
tactic:
string
Defined in: src/types/inference.ts:928
tacticCombinator
tacticCombinator:
string
Defined in: src/types/inference.ts:929
thenTactic
thenTactic:
string
Defined in: src/types/inference.ts:930
theoryLemmaProof
theoryLemmaProof:
string
Defined in: src/types/inference.ts:931
thing
thing:
string
Defined in: src/types/inference.ts:932
timesConstraint
timesConstraint:
string
Defined in: src/types/inference.ts:933
tseitinTactic
tseitinTactic:
string
Defined in: src/types/inference.ts:934
variable
variable:
string
Defined in: src/types/inference.ts:935