Limi::counterexample_chain< Symbol > Struct Template Reference

Represents a list of symbols. More...

#include <results.h>

Detailed Description

template<class Symbol>
struct Limi::counterexample_chain< Symbol >

Represents a list of symbols.

This type builds a single-linked list of symbols. This can save memory if different heads point to the identical tails of the list. It is used to track the path through the automaton so that a counter-example can be returned.

Template Parameters

Symbol

The type of symbols in the list

---

The documentation for this struct was generated from the following file:

• Limi/results.h