IDEA documentation

00001 // -*- Mode: C++ -*-
00002 //      CVS: $Id: PlasmaFunctions.hh,v 1.6 2005/11/08 18:32:49 rijsman Exp $
00003 //      Tag: $name$
00004 //     Info: $CVSROOT/IDEA-DEV/COPYRIGHT
00005 
00006 #ifndef PLASMA__FUNCTIONS_HEADER_
00007 #define PLASMA__FUNCTIONS_HEADER_
00008 
00009 #include "Constraint.hh"
00010 
00011 namespace IDEA
00012 {
00013   class PslDatabase;
00026   class PlasmaFunction:
00027     EUROPA::Constraint
00028   {
00029   public:
00033     static const EUROPA::AbstractDomain& getDerivedDomain( const EUROPA::ConstrainedVariableId& variable );
00037     static void intersect( const EUROPA::ConstrainedVariableId& variable1, const EUROPA::ConstrainedVariableId& variable2 );
00041     static void setToIntInterval(const EUROPA::ConstrainedVariableId& variable, int lb, int ub );
00045     static void setToRealInterval(const EUROPA::ConstrainedVariableId& variable, double lb, double ub );
00049     static void setIntUpperBound( const EUROPA::ConstrainedVariableId& variable, int value );
00053     static void setIntLowerBound( const EUROPA::ConstrainedVariableId& variable, int value );
00057     static void setToIntSingleton(const EUROPA::ConstrainedVariableId& variable, int value );
00061     static void setToRealSingleton(const EUROPA::ConstrainedVariableId& variable, double value );
00065     static void setToBoolSingleton(const EUROPA::ConstrainedVariableId& variable, bool value );
00069     static void setToLabelSingleton(const EUROPA::ConstrainedVariableId& variable, const std::string& value );
00073     static void insertString( const PslDatabase* db, const EUROPA::ConstrainedVariableId& variable, const std::string& value );
00074   };
00075 }
00076 
00077 #endif // PLASMA__FUNCTIONS_HEADER_
00078
/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Modules/PLASMA/PlanServer/Includes/PlasmaFunctions.hh
