Siena Simplification Library Documentation (v. 1.1.4) |
Functions | |
bool | conflicting (const constraint &c1, const constraint &c2) |
Procedure to determine if two constraints conflict with each other. | |
bool | covers (const constraint &c1, const constraint &c2) |
Procedure to determine if constraint c1 covers constraint c2 . | |
bool | covers (const filter &f1, const filter &f2) |
Procedure to determine if a filter covers another one. | |
bool | covers (const predicate &p1, const predicate &p2) |
Procedure to determine if a predicate covers another one. |
|
Procedure to determine if two constraints conflict with each other. Constraints conflict if they can never be true for the same message. Conflicting constraints in the same filter will render the filter unsatisfiable, so the filter can effectively be eliminated from consideration. Constraints never conflict if:
|
|
Procedure to determine if a predicate covers another one.
For |
|
Procedure to determine if a filter covers another one.
For For example: x < 14 && y > 5 covers x < 11 && y > 12 x < 10 && y > 10 covers x = 8 && y = 15 x < 10 && y > 10 && z = 4 does not cover x = 8 && y = 15 |
|
Procedure to determine if constraint
Constraint Otherwise, constraints never cover each other if:
Otherwise,
For example: x < 14 covers x < 11 x > 5 covers x > 12 x < 10 covers x = 8 x > 10 covers x = 15 x > 10 does not cover x = 9 x < 1 does not cover x = 2 x *= ing covers x = jumping x =* anti covers x = antidote x ** ym covers x = oxymoron |
Copyright © 2001-2004 University of Colorado.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". This documentation is authored and maintained by Matthew J. Rutherford |