set-expr.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #ifdef GECODE_HAS_SET_VARS
00039
00040 namespace Gecode {
00041
00042
00043
00044
00045
00046 forceinline
00047 SetExpr::Node::Node(void) : use(1) {}
00048
00049 forceinline void*
00050 SetExpr::Node::operator new(size_t size) {
00051 return heap.ralloc(size);
00052 }
00053 forceinline void
00054 SetExpr::Node::operator delete(void* p, size_t) {
00055 heap.rfree(p);
00056 }
00057
00058 forceinline
00059 SetExpr::SetExpr(void) : n(NULL) {}
00060
00061 forceinline
00062 SetExpr::SetExpr(const SetExpr& e) : n(e.n) {
00063 n->use++;
00064 }
00065
00066 forceinline bool
00067 SetExpr::same(NodeType t0, NodeType t1) {
00068 return (t0==t1) || (t1==NT_VAR) || (t1==NT_CONST) || (t1==NT_LEXP);
00069 }
00070
00071 inline SetVar
00072 SetExpr::post(Home home) const {
00073 Region r(home);
00074 SetVar s(home,IntSet::empty,
00075 IntSet(Set::Limits::min,Set::Limits::max));
00076 NNF::nnf(r,n,false)->post(home,SRT_EQ,s);
00077 return s;
00078 }
00079
00080 inline void
00081 SetExpr::post(Home home, SetRelType srt, const SetExpr& e) const {
00082 Region r(home);
00083 return NNF::nnf(r,n,false)->post(home,srt,NNF::nnf(r,e.n,false));
00084 }
00085 inline void
00086 SetExpr::post(Home home, BoolVar b, bool t,
00087 SetRelType srt, const SetExpr& e) const {
00088 Region r(home);
00089 return NNF::nnf(r,n,false)->post(home,b,t,srt,NNF::nnf(r,e.n,false));
00090 }
00091
00092 }
00093
00094 #endif
00095
00096