Class: Axiom::Adapter::Arango::Visitor::Static::Tautology
- Inherits:
-
Axiom::Adapter::Arango::Visitor::Static
- Object
- Axiom::Adapter::Arango::Visitor
- Axiom::Adapter::Arango::Visitor::Static
- Axiom::Adapter::Arango::Visitor::Static::Tautology
- Defined in:
- lib/axiom/adapter/arango/visitor/function.rb
Overview
Visitor for Axiom::Function::Proposition::Tautology
Constant Summary collapse
- ROOT =
AQL::Node::Literal::Singleton::TRUE