Write comparing operator on Domains, which says whether on Domain is fully included in other

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

Write comparing operator on Domains, which says whether on Domain is fully included in other #111

Open xbrukner opened 11 years ago

xbrukner commented 11 years ago

Merge may not be done if you merge Domain "lower on lattice" into Domain "upper on lattice" . For example, you don't need to merge interval [0-1] into [0-2] -> [0, 2] already contains [0-1].

karelklic commented 11 years ago

This is the implementation of Domain::operator<(const Domain& value) const in domains. Currently, the method exists but contain "CANAL_NOT_IMPLEMENTED()" everywhere.