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 |
Rev | Line | |
---|---|---|
[37] | 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.