Test::Set::Channel::ChannelBool Member List
This is the complete list of members for
Test::Set::Channel::ChannelBool, including all inherited members.
Base(const std::string &s) | Test::Base | |
ChannelBool(const char *t, const IntSet &d, int _isize) | Test::Set::Channel::ChannelBool | [inline] |
disabled | Test::Set::SetTest | [protected] |
fixpoint(void) | Test::Base | [inline, static] |
name(void) const | Test::Base | [inline] |
next(void) const | Test::Base | [inline] |
next(Base *n) | Test::Base | [inline] |
post(Space &home, SetVarArray &x, IntVarArray &y) | Test::Set::Channel::ChannelBool | [inline, virtual] |
Test::Set::SetTest::post(Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::Reify) | Test::Set::SetTest | [inline, virtual] |
rand | Test::Base | [static] |
run(void) | Test::Set::SetTest | [virtual] |
SetTest(const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0) | Test::Set::SetTest | [inline] |
solution(const SetAssignment &x) const | Test::Set::Channel::ChannelBool | [inline, virtual] |
sort(void) | Test::Base | [static] |
str(Gecode::SetRelType srt) | Test::Set::SetTest | [inline, static] |
str(Gecode::SetOpType srt) | Test::Set::SetTest | [inline, static] |
str(int i) | Test::Set::SetTest | [inline, static] |
str(const Gecode::IntArgs &i) | Test::Set::SetTest | [inline, static] |
tests(void) | Test::Base | [inline, static] |
testsubsumed | Test::Set::SetTest | [protected] |
~Base(void) | Test::Base | [virtual] |