Search

Preparing search index...
The search index is not available

logically

Options

All

Public
Public/Protected
All

Inherited Externals Only exported

Menu

Globals
"Proof"
EvaluateProofInterface

Interface EvaluateProofInterface

Hierarchy

EvaluateProofInterface

Index

Properties

responseData
score

Properties

responseData

responseData: ResponseDataType

Defined in Proof.ts:28

score

score: number

Defined in Proof.ts:27

Globals
"Proof"

LineOfProof
Proof
ConstructorArgsInterface

EvaluateProofInterface
- responseData
- score

LineOfProofInterface
ProofInterface
SimpleAddLineToProofInterface
ResponseDataType

Legend

Module
Object literal
Variable
Function
Function with type parameter
Index signature
Type alias

Enumeration
Enumeration member
Property
Method

Interface
Interface with type parameter
Constructor
Property
Method
Index signature

Class
Class with type parameter
Constructor
Property
Method
Accessor
Index signature

Inherited constructor
Inherited property
Inherited method
Inherited accessor

Protected property
Protected method
Protected accessor

Private property
Private method
Private accessor

Static property
Static method

Generated using TypeDoc