sc Directory Reference

Directory dependency graph for sc:

Files
file	sc-local.h [code]
file	sc-private.h [code]
file	sc.c [code]
file	sc.h [code]
file	sc_alloc.c [code]
file	sc_belong.c [code]
file	sc_build_sc_nredund.c [code]
file	sc_debug.c [code]
file	sc_elim_eq.c [code]
file	sc_elim_redund.c [code]
file	sc_elim_simple_redund.c [code]
file	sc_error.c [code]
file	sc_eval.c [code]
file	sc_feasibility.c [code]
file	sc_gram.c [code]
file	sc_gram.h [code]
file	sc_gram.y [code]
file	sc_insert_eq.c [code]
file	sc_integer_analyze.c [code]
file	sc_integer_projection.c [code]
file	sc_intersection.c [code]
file	sc_io.c [code]
file	sc_janus_feasibility.c [code]
file	sc_lex.c [code]
file	sc_lex.l [code]
file	sc_misc.c [code]
file	sc_new_loop_bound.c [code]
file	sc_normalize.c [code]
file	sc_oppose.c [code]
file	sc_projection.c [code]
file	sc_read.c [code]
file	sc_simplex_feasibility.c [code]
	This file provides a function to test whether a constraint system is feasible, using simplex method.
file	sc_simplex_feasibility.h [code]
	This header provides functions to test whether a constraint system is feasible, using the simplex method.
file	sc_simplex_feasibility_fixprec.c [code]
file	sc_simplex_feasibility_mulprec.c [code]
	This file provides a function to test whether a constraint system is feasible, using simplex method, in multiple precision.
file	sc_transformation.c [code]
file	sc_triang_elim_redond.c [code]
file	sc_unaires.c [code]
file	sc_var.c [code]