![Diagnosis and FTC by Prof. Blanke [pdf] - NTNU](https://img.yumpu.com/12483948/39/500x640/diagnosis-and-ftc-by-prof-blanke-pdf-ntnu.jpg)
Diagnosis and FTC by Prof. Blanke [pdf] - NTNU
Diagnosis and FTC by Prof. Blanke [pdf] - NTNU
Diagnosis and FTC by Prof. Blanke [pdf] - NTNU
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
77<br />
78<br />
The Constraint Editor in SaTool<br />
input<br />
Measured<br />
Unknown<br />
Structure Graph<br />
A graph constists of an<br />
ordered set of nodes <strong>and</strong><br />
vertices<br />
Let variables <strong>and</strong><br />
constraints be nodes<br />
Let vertices show which<br />
variables are used <strong>by</strong><br />
constraints<br />
The structure graph is bipartioned:<br />
a variable is<br />
always connected to<br />
constraint(s), a constraint<br />
always to variable(s)<br />
Create<br />
constraints<br />
Constraints<br />
Mogens <strong>Blanke</strong> – Spring 2006<br />
Mogens <strong>Blanke</strong> – Spring 2006<br />
39
Change language