Added in some new convenience functions.#91

Open

mueschm wants to merge 7 commits intolawrancej:masterfrom

mueschm:newCon

Commits on Jul 13, 2012

Fixed some issues with wrong build

root
authored and
root
committed
Current unstable code for new automata
mueschm
committed

Commits on Jul 17, 2012

Commits on Jul 19, 2012

Current progress of graph implementation
vyserver
committed

Commits on Jul 22, 2012