bool-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 namespace Gecode {
00039
00040
00041
00042
00043
00044
00045 forceinline
00046 BoolExpr::BoolExpr(const BoolExpr& e) : n(e.n) {
00047 n->use++;
00048 }
00049
00050 forceinline BoolVar
00051 BoolExpr::post(Home home, IntConLevel icl) const {
00052 Region r(home);
00053 return NNF::nnf(r,n,false)->post(home,icl);
00054 }
00055
00056 forceinline void
00057 BoolExpr::post(Home home, bool t, IntConLevel icl) const {
00058 Region r(home);
00059 return NNF::nnf(r,n,false)->post(home,t,icl);
00060 }
00061
00062
00063 inline BoolExpr
00064 operator &&(const BoolExpr& l, const BoolExpr& r) {
00065 return BoolExpr(l,BoolExpr::NT_AND,r);
00066 }
00067
00068 inline BoolExpr
00069 operator ||(const BoolExpr& l, const BoolExpr& r) {
00070 return BoolExpr(l,BoolExpr::NT_OR,r);
00071 }
00072
00073 inline BoolExpr
00074 operator ^(const BoolExpr& l, const BoolExpr& r) {
00075 return BoolExpr(BoolExpr(l,BoolExpr::NT_EQV,r),BoolExpr::NT_NOT);
00076 }
00077
00078 template<class Var>
00079 inline BoolExpr
00080 operator ~(const LinRel<Var>& rl) {
00081 return BoolExpr(rl);
00082 }
00083
00084 inline BoolExpr
00085 operator !(const BoolExpr& e) {
00086 return BoolExpr(e,BoolExpr::NT_NOT);
00087 }
00088
00089
00090 inline BoolExpr
00091 eqv(const BoolExpr& l, const BoolExpr& r) {
00092 return BoolExpr(l, BoolExpr::NT_EQV, r);
00093 }
00094
00095 inline BoolExpr
00096 imp(const BoolExpr& l, const BoolExpr& r) {
00097 return BoolExpr(BoolExpr(l,BoolExpr::NT_NOT),
00098 BoolExpr::NT_OR,r);
00099 }
00100
00101
00102 inline BoolVar
00103 post(Home home, const BoolExpr& e, IntConLevel icl) {
00104 return e.post(home,icl);
00105 }
00106
00107 inline BoolVar
00108 post(Home, const BoolVar& b, IntConLevel) {
00109 return b;
00110 }
00111
00112
00113 }
00114
00115