souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
32 class ComponentChecker :
public Transformer {
36 std::string
getName()
const override {
37 return "ComponentChecker";
Component initialization class.
Component type of a component.
The program class consists of relations, clauses and types.
Translation unit class for the translation pipeline.
Class that encapsulates std::map of types binding that comes from .init c = Comp<MyType> Type binding...
A class describing a range in an input file.