Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Test::Set::Rel Namespace Reference

Tests for relation constraints More...

Classes

class  ITE
 Test for if-then-else-constraint More...
 
class  RelBin
 Test for binary set relation constraint More...
 

Variables

RelBin _relbin_eq (Gecode::SRT_EQ, false)
 
RelBin _relbin_lq (Gecode::SRT_LQ, false)
 
RelBin _relbin_le (Gecode::SRT_LE, false)
 
RelBin _relbin_gq (Gecode::SRT_GQ, false)
 
RelBin _relbin_gr (Gecode::SRT_GR, false)
 
RelBin _relbin_nq (Gecode::SRT_NQ, false)
 
RelBin _relbin_sub (Gecode::SRT_SUB, false)
 
RelBin _relbin_sup (Gecode::SRT_SUP, false)
 
RelBin _relbin_disj (Gecode::SRT_DISJ, false)
 
RelBin _relbin_cmpl (Gecode::SRT_CMPL, false)
 
RelBin _relbin_shared_eq (Gecode::SRT_EQ, true)
 
RelBin _relbin_shared_lq (Gecode::SRT_LQ, true)
 
RelBin _relbin_shared_le (Gecode::SRT_LE, true)
 
RelBin _relbin_shared_gq (Gecode::SRT_GQ, true)
 
RelBin _relbin_shared_gr (Gecode::SRT_GR, true)
 
RelBin _relbin_shared_nq (Gecode::SRT_NQ, true)
 
RelBin _relbin_shared_sub (Gecode::SRT_SUB, true)
 
RelBin _relbin_shared_sup (Gecode::SRT_SUP, true)
 
RelBin _relbin_shared_disj (Gecode::SRT_DISJ, true)
 
RelBin _relbin_shared_cmpl (Gecode::SRT_CMPL, true)
 
ITE _ite
 

Detailed Description

Tests for relation constraints

Variable Documentation

◆ _relbin_eq

RelBin Test::Set::Rel::_relbin_eq(Gecode::SRT_EQ, false) ( Gecode::SRT_EQ ,
false  )

◆ _relbin_lq

RelBin Test::Set::Rel::_relbin_lq(Gecode::SRT_LQ, false) ( Gecode::SRT_LQ ,
false  )

◆ _relbin_le

RelBin Test::Set::Rel::_relbin_le(Gecode::SRT_LE, false) ( Gecode::SRT_LE ,
false  )

◆ _relbin_gq

RelBin Test::Set::Rel::_relbin_gq(Gecode::SRT_GQ, false) ( Gecode::SRT_GQ ,
false  )

◆ _relbin_gr

RelBin Test::Set::Rel::_relbin_gr(Gecode::SRT_GR, false) ( Gecode::SRT_GR ,
false  )

◆ _relbin_nq

RelBin Test::Set::Rel::_relbin_nq(Gecode::SRT_NQ, false) ( Gecode::SRT_NQ ,
false  )

◆ _relbin_sub

RelBin Test::Set::Rel::_relbin_sub(Gecode::SRT_SUB, false) ( Gecode::SRT_SUB ,
false  )

◆ _relbin_sup

RelBin Test::Set::Rel::_relbin_sup(Gecode::SRT_SUP, false) ( Gecode::SRT_SUP ,
false  )

◆ _relbin_disj

RelBin Test::Set::Rel::_relbin_disj(Gecode::SRT_DISJ, false) ( Gecode::SRT_DISJ ,
false  )

◆ _relbin_cmpl

RelBin Test::Set::Rel::_relbin_cmpl(Gecode::SRT_CMPL, false) ( Gecode::SRT_CMPL ,
false  )

◆ _relbin_shared_eq

RelBin Test::Set::Rel::_relbin_shared_eq(Gecode::SRT_EQ, true) ( Gecode::SRT_EQ ,
true  )

◆ _relbin_shared_lq

RelBin Test::Set::Rel::_relbin_shared_lq(Gecode::SRT_LQ, true) ( Gecode::SRT_LQ ,
true  )

◆ _relbin_shared_le

RelBin Test::Set::Rel::_relbin_shared_le(Gecode::SRT_LE, true) ( Gecode::SRT_LE ,
true  )

◆ _relbin_shared_gq

RelBin Test::Set::Rel::_relbin_shared_gq(Gecode::SRT_GQ, true) ( Gecode::SRT_GQ ,
true  )

◆ _relbin_shared_gr

RelBin Test::Set::Rel::_relbin_shared_gr(Gecode::SRT_GR, true) ( Gecode::SRT_GR ,
true  )

◆ _relbin_shared_nq

RelBin Test::Set::Rel::_relbin_shared_nq(Gecode::SRT_NQ, true) ( Gecode::SRT_NQ ,
true  )

◆ _relbin_shared_sub

RelBin Test::Set::Rel::_relbin_shared_sub(Gecode::SRT_SUB, true) ( Gecode::SRT_SUB ,
true  )

◆ _relbin_shared_sup

RelBin Test::Set::Rel::_relbin_shared_sup(Gecode::SRT_SUP, true) ( Gecode::SRT_SUP ,
true  )

◆ _relbin_shared_disj

RelBin Test::Set::Rel::_relbin_shared_disj(Gecode::SRT_DISJ, true) ( Gecode::SRT_DISJ ,
true  )

◆ _relbin_shared_cmpl

RelBin Test::Set::Rel::_relbin_shared_cmpl(Gecode::SRT_CMPL, true) ( Gecode::SRT_CMPL ,
true  )

◆ _ite

ITE Test::Set::Rel::_ite

Definition at line 179 of file rel.cpp.