Struct Automaton::TransitionMap

• Defined in File Automaton.h

Nested Relationships

This struct is a nested type of Class Automaton.

Struct Documentation

struct TransitionMap

Each automaton state has a transition map, which maps from a World to another automaton state. A set \(P\) of true propositions correponds to the formula \(\bigwedge_{p\in P} p\).

Public Functions

int eval(const World &w) const

Returns the automaton state corresponding to a given World in this transition map. Returns -1 if no such transition exists.

Public Members

mutable std::unordered_map<World, unsigned int> entries