MADARA  3.4.1
CompositeImpliesNode.h File Reference

Go to the source code of this file.

Classes

class  madara::expression::CompositeImpliesNode
 A composite node that performs an implication (inference rule) More...
 

Namespaces

 madara
 Copyright(c) 2020 Galois.
 
 madara::expression
 Contains the KaRL expression tree interpreter and related classes.