Main Page | Modules | Class Hierarchy | Class List | File List | Class Members

anyof( Expr )
[Boolean valued reductions]

Functions


Detailed Description

true if at least one element of Expression is logically true.
Generated on Fri Dec 24 13:32:03 2004 for LTL by doxygen 1.3.4