Computer Laboratory

State.h File Reference

Detailed Description

Declaration of tesla::State.

Declaration of a few important TESLA types.

Definition in file State.h.

#include "Transition.h"
#include "Types.h"
#include <llvm/ADT/ArrayRef.h>
#include <llvm/ADT/OwningPtr.h>
+ Include dependency graph for State.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  tesla::State
 A state in a TESLA DFA. More...
 
class  tesla::State::Builder
 

Namespaces

namespace  tesla
 
namespace  tesla::internal