Chop Logic Core - v1.4.0
Preparing search index...
Propositional
PropositionalUtils
convertToExpression
Variable convertToExpression
Readonly
convertToExpression
:
(
formula
:
PropFormula
)
=>
PropExpression
= convertPropFormulaToExpression
Type declaration
(
formula
:
PropFormula
)
:
PropExpression
Parameters
formula
:
PropFormula
Returns
PropExpression
Settings
Member Visibility
Inherited
Theme
OS
Light
Dark
Chop Logic Core - v1.4.0
Loading...