octant
latest
  • octant
  • Octant installation guide
  • Users guide
  • Code documentation
octant
  • Docs »
  • Welcome to the documentation of octant
  • Edit on GitHub

Welcome to the documentation of octantΒΆ

Contents:

  • octant
    • Features
  • Octant installation guide
  • Users guide
    • Invocation
    • Configuration file
    • Command-line options
    • The Datalog Language
    • Types and Constants
    • Openstack Exported Tables
    • Skydive Exported Tables
    • An Example
  • Code documentation
    • The options module
    • The datalog_ast module
    • The datalog_parser module
    • The datalog_primitives module
    • The datalog_source module
    • The datalog_compiler module
    • The datalog_typechecker module
    • The datalog_theory module
    • The datalog_unfolding module
    • The source_openstack module
    • The source_skydive module
Next

© Copyright 2018, Orange Revision 3bf2caac.

Built with Sphinx using a theme provided by Read the Docs.