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