ProofEngine
@kortexya/reasoninglayer / ProofEngine
ProofEngine
Section titled “ProofEngine”References
Section titled “References”AssertRuleRequest
Section titled “AssertRuleRequest”Re-exports AssertRuleRequest
AssertRuleResponse
Section titled “AssertRuleResponse”Re-exports AssertRuleResponse
BacktrackTermStoreRequest
Section titled “BacktrackTermStoreRequest”Re-exports BacktrackTermStoreRequest
BacktrackTermStoreResponse
Section titled “BacktrackTermStoreResponse”Re-exports BacktrackTermStoreResponse
BindVariableRequest
Section titled “BindVariableRequest”Re-exports BindVariableRequest
BindVariableResponse
Section titled “BindVariableResponse”Re-exports BindVariableResponse
CreateRuleStoreRequest
Section titled “CreateRuleStoreRequest”Re-exports CreateRuleStoreRequest
CreateStoreTermRequest
Section titled “CreateStoreTermRequest”Re-exports CreateStoreTermRequest
CreateTermStoreRequest
Section titled “CreateTermStoreRequest”Re-exports CreateTermStoreRequest
CreateVariableRequest
Section titled “CreateVariableRequest”Re-exports CreateVariableRequest
DereferenceRequest
Section titled “DereferenceRequest”Re-exports DereferenceRequest
DereferenceResponse
Section titled “DereferenceResponse”Re-exports DereferenceResponse
EvalBuiltinRequest
Section titled “EvalBuiltinRequest”Re-exports EvalBuiltinRequest
EvalBuiltinResponse
Section titled “EvalBuiltinResponse”Re-exports EvalBuiltinResponse
EvalFunctionInfoDto
Section titled “EvalFunctionInfoDto”Re-exports EvalFunctionInfoDto
FindRulesRequest
Section titled “FindRulesRequest”Re-exports FindRulesRequest
FindRulesResponse
Section titled “FindRulesResponse”Re-exports FindRulesResponse
GetStoreTermRequest
Section titled “GetStoreTermRequest”Re-exports GetStoreTermRequest
GetStoreTermResponse
Section titled “GetStoreTermResponse”Re-exports GetStoreTermResponse
ListEvalFunctionsRequest
Section titled “ListEvalFunctionsRequest”Re-exports ListEvalFunctionsRequest
ListEvalFunctionsResponse
Section titled “ListEvalFunctionsResponse”Re-exports ListEvalFunctionsResponse
MarkRuleStoreRequest
Section titled “MarkRuleStoreRequest”Re-exports MarkRuleStoreRequest
MarkRuleStoreResponse
Section titled “MarkRuleStoreResponse”Re-exports MarkRuleStoreResponse
MarkTermStoreRequest
Section titled “MarkTermStoreRequest”Re-exports MarkTermStoreRequest
MarkTermStoreResponse
Section titled “MarkTermStoreResponse”Re-exports MarkTermStoreResponse
ProofEngineCreateTermResponse
Section titled “ProofEngineCreateTermResponse”Re-exports ProofEngineCreateTermResponse
ProofExportFormat
Section titled “ProofExportFormat”Re-exports ProofExportFormat
ProofExportRequest
Section titled “ProofExportRequest”Re-exports ProofExportRequest
ProofExportResponse
Section titled “ProofExportResponse”Re-exports ProofExportResponse
ProofExportResult
Section titled “ProofExportResult”Re-exports ProofExportResult
ProofLiteralDto
Section titled “ProofLiteralDto”Re-exports ProofLiteralDto
RetractRuleRequest
Section titled “RetractRuleRequest”Re-exports RetractRuleRequest
RetractRuleResponse
Section titled “RetractRuleResponse”Re-exports RetractRuleResponse
RuleClauseDto
Section titled “RuleClauseDto”Re-exports RuleClauseDto
RuleConstraintDto
Section titled “RuleConstraintDto”Re-exports RuleConstraintDto
RuleDto
Section titled “RuleDto”Re-exports RuleDto
RuleStoreResponse
Section titled “RuleStoreResponse”Re-exports RuleStoreResponse
SetFeatureRequest
Section titled “SetFeatureRequest”Re-exports SetFeatureRequest
SetFeatureResponse
Section titled “SetFeatureResponse”Re-exports SetFeatureResponse
TermStoreSessionResponse
Section titled “TermStoreSessionResponse”Re-exports TermStoreSessionResponse
UndoRuleStoreRequest
Section titled “UndoRuleStoreRequest”Re-exports UndoRuleStoreRequest
UndoRuleStoreResponse
Section titled “UndoRuleStoreResponse”Re-exports UndoRuleStoreResponse
UnifyTermsRequest
Section titled “UnifyTermsRequest”Re-exports UnifyTermsRequest
UnifyTermsResponse
Section titled “UnifyTermsResponse”Re-exports UnifyTermsResponse