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.