#include "control_mem.h"

This page has information from files control_mem.h and control_mem.c.

Contents


Public Routines in File control_mem.c

Index

control_sos_2disable_sos

Details


int control_sos_2(Clist sos,
		  int given,
		  int limit_millisec,
		  int current_max_wt,
		  int ratio,
		  void (*disable_proc) (Clause));


int disable_sos(Clist sos,
		int number_to_keep,
		int old_max_wt,
		int ratio,
		void (*disable_proc) (Clause));

Public Definitions in File control_mem.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.