Home
last modified time | relevance | path

Searched refs:VT_OBJ (Results 1 – 3 of 3) sorted by relevance

/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/branch/
H A DCouenneObject.hpp68 enum branch_obj {EXPR_OBJ, VAR_OBJ, VT_OBJ}; enumerator
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/main/
H A DBonCouenneSetup.cpp326 if (s == "vt_obj") objType = CouenneObject::VT_OBJ; in InitializeCouenne()
355 (CouenneObject::VT_OBJ == objType)){ in InitializeCouenne()
415 case CouenneObject::VT_OBJ: in InitializeCouenne()
/dports/math/vampire/vampire-4.5.1/
H A DMakefile441 VT_OBJ = Test/CheckedSatSolver.o\ macro
544 VTEST_DEP = $(VAMP_BASIC) $(VT_OBJ) $(VUT_OBJ) $(DP_OBJ) Global.o vtest.o