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 , 14 years ago | |
---|---|
File size: 300 bytes |
Line | |
---|---|
1 | function test_logic_sat_1 |
2 | |
3 | binvar aa ba ca da ea fa % NOTE a b c ... generates error when run as function ! |
4 | F = set(true((aa & ba & ca) | (da & ea & fa))); |
5 | sol = solvesdp(F); |
6 | mbg_asserttolequal(sol.problem,0); |
7 | mbg_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.