src Directory Reference

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