accelerate → ansi-c Relation

File in goto-instrument/accelerate	Includes file in ansi-c
accelerate.cpp	expr2c.h
acceleration_utils.cpp	expr2c.h
cone_of_influence.cpp	expr2c.h
disjunctive_polynomial_acceleration.cpp	expr2c.h
polynomial_accelerator.cpp	expr2c.h
sat_path_enumerator.cpp	expr2c.h