semantics.h File Reference

#include <stdint.h>
#include <string>
#include <fstream>
#include <iostream>
#include <coconut_types.h>

Include dependency graph for semantics.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


Classes

class  coco::convex_e
 Convexity information. More...
class  coco::semantics
 Expression Semantics. More...

Namespaces

namespace  coco
 the main namespace of the COCONUT API

Enumerations

enum  coco::convex_info { coco::c_convex = 1, coco::c_linear = 0, coco::c_concave = -1, coco::c_maybe = 2 }
 Convexity information enum. More...
enum  coco::type_annotation { coco::v_exists = 0, coco::v_forall = 1, coco::v_free = 2, coco::v_stochastic = 3 }
 Node type information enum. More...
enum  coco::activity_descr {
  coco::a_redundant = 1, coco::a_active_lo = 2, coco::a_active_lo_red = a_active_lo|a_redundant, coco::a_active_hi = 4,
  coco::a_active_hi_red = a_active_hi|a_redundant, coco::a_active = a_active_lo|a_active_hi, coco::a_active_red = a_active|a_redundant
}
 Constraint activity information enum. More...

Functions

bool coco::operator== (const convex_e &__c, const convex_e &__d)
 Equality comparison operator.
bool coco::operator== (const convex_e &__c, const convex_info &__d)
 Equality comparison operator with a convex_info.
bool coco::operator== (const convex_info &__c, const convex_e &__d)
 Equality comparison operator with a convex_info.
bool coco::operator!= (const convex_e &__c, const convex_e &__d)
 Disequality comparison operator.
bool coco::operator!= (const convex_e &__c, const convex_info &__d)
 Disequality comparison operator with a convex_info.
bool coco::operator!= (const convex_info &__c, const convex_e &__d)
 Disequality comparison operator with a convex_info.
std::ostream & coco::operator<< (std::ostream &o, const convex_e &__s)
 C++ stream output operator for convex_e.
std::ostream & coco::operator<< (std::ostream &o, const semantics &__s)
 C++ stream output operator for semantics.


Detailed Description

Definition in file semantics.h.


Generated on Tue Feb 9 14:47:01 2010 for COCONUT API by  doxygen 1.5.8