source: proiecte/pmake3d/make3d_original/Make3dSingleImageStanford_version0.1/third_party/opt/yalmip/dev/tests-mbg/logic/test_logic_sat_1.m @ 37

Last change on this file since 37 was 37, checked in by (none), 14 years ago

Added original make3d
File size: 300 bytes
Line 
1function test_logic_sat_1
2
3binvar aa ba ca da ea fa % NOTE a b c ... generates error when run as function !
4F = set(true((aa & ba & ca) | (da & ea & fa)));
5sol = solvesdp(F);
6mbg_asserttolequal(sol.problem,0);
7mbg_asserttrue( all(double([aa ba ca])== [1 1 1])  | all(double([da ea fa])== [1 1 1]) )
8
Note: See TracBrowser for help on using the repository browser.