Documentation updates

Authored by pgess on May 18 2019, 10:49 AM.

Description

Documentation updates

Syntax:

  • Boolean negation instruction added
  • Rules/Context Rules are deprecated

Documentation:

  • Introduction: Execution order example added
  • Syntax chapter changed
  • Interpretation: Transcend and Interpretation section(Intrinsic Query)
  • Transcend: Reasoning Solutions section

Compilation:

  • Boolean negation instruction(Operator::NEG)

Tests(overall 169 tests passed):

  • Association.Doc_IntrinsicQuery_2,
  • AST.Doc_VariantsSwitch1, AST.Doc_Rec*,
  • Compilation.BoolInstructions1.
  • Transcend.Doc_SlaveTypes1, Transcend.Doc_Diagnostics1
  • Exploitation, Doc_ExampleEov_1

Details

Committed
pgessMay 18 2019, 10:49 AM
Pushed
pgessMay 25 2019, 5:38 PM
Parents
rXRf0e6b814255c: Doxygen docs: small update
Branches
Unknown
Tags
Unknown