souffle
2.0.2-371-g6315b36
|
Go to the documentation of this file.
43 class BranchInit :
public Term {
57 void print(std::ostream& os)
const override {
62 bool equal(
const Node& node)
const override {
63 const auto& other =
dynamic_cast<const BranchInit&
>(node);
VecOwn< Argument > args
Arguments.
void print(std::ostream &os) const override
Output to a given output stream.
BranchInit * clone() const override
Create clone.
std::string constructor
The adt branch constructor.
auto clone(const std::vector< A * > &xs)
const std::string & getConstructor() const
bool equal(const Node &node) const override
Implements the node comparison for this node type.
detail::joined_sequence< Iter, Printer > join(const Iter &a, const Iter &b, const std::string &sep, const Printer &p)
Creates an object to be forwarded to some output stream for printing sequences of elements interspers...
bool equal_targets(const Container &a, const Container &b, const Comparator &comp)
A function testing whether two containers are equal with the given Comparator.
BranchInit(std::string constructor, VecOwn< Argument > args, SrcLocation loc={})
Abstract class for syntactic elements in an input program.
Initialization of ADT instance.
const SrcLocation & getSrcLoc() const
Return source location of the Node.
Term(Operands &&... operands)