File List

Here is a list of all documented files with brief descriptions:

automaton.h	Routines for working with a strategy, as a finite automaton
common.h	Project-wide definitions and macros
gr1c_util.h	Small handy routines not otherwise sorted
logging.h	A simple logging mechanism for gr1c
patching.h	Implementation of patching and incremental synthesis algorithms
ptree.h	Routines for working with a GR(1) formula parse tree
sim.h	Simulation support
solve.h	Compute realizability and a strategy for a GR(1) game
solve_metric.h	Synthesis routines that use a distance between states
solve_support.h	Mostly internal routines for state vector manipulation