Class TraceWithBuffer

Defined in File TraceBuffer.hpp

Class Documentation

class TraceWithBuffer

Auxiliar type to help with the search. Represents a trace and a buffer containing the elements in the current tree search.

Public Functions

inline TraceWithBuffer(const Trace &t, const Edge *firstEdge = nullptr)

inline TraceWithBuffer()

Public Members

Trace trace

std::deque<const Edge*> buffer