Search
Preparing search index...
The search index is not available
logically
Options
All
Public
Public/Protected
All
Inherited
Externals
Only exported
Menu
Globals
"deductionFunctions/index"
DeductionRuleInterface
Interface DeductionRuleInterface
Hierarchy
DeductionRuleInterface
Callable
__call
(
target
:
LineOfProof
, sources
?:
LineOfProof
[]
)
:
boolean
Parameters
target:
LineOfProof
Optional
sources:
LineOfProof
[]
Returns
boolean
Globals
"deduction
Functions/index"
Deduction
Rule
Interface
Deduction
Rules
Dict
Interface
Simple
Deduction
Rule
Interface
DEDUCTION_
FUNCTIONS
check
Rule
Recursively
evaluate
Move
Generated using
TypeDoc