DotNet Reference

DotNet Reference

BooleanVar

Detailed Description

Definition at line 18 of file BooleanVar.cs.

Public Member Functions

override long Min ()
 
override void SetMin (long m)
 
override long Max ()
 
override void SetMax (long m)
 
override void SetRange (long mi, long ma)
 
override bool Bound ()
 
override long Value ()
 
override void RemoveValue (long v)
 
override void RemoveInterval (long l, long u)
 
override void WhenBound (Demon d)
 
override void WhenRange (Demon d)
 
override void WhenDomain (Demon d)
 
override ulong Size ()
 
override bool Contains (long v)
 
override string ToString ()
 
override int VarType ()
 
override IntVar IsEqual (long constant)
 
override IntVar IsDifferent (long constant)
 
override IntVar IsGreaterOrEqual (long constant)
 
override IntVar IsLessOrEqual (long constant)
 
virtual void RestoreValue ()
 
override string BaseName ()
 
int RawValue ()
 
void Dispose ()
 
override bool IsVar ()
 
override IntVar Var ()
 
virtual void RemoveValues (long[] values)
 
virtual void SetValues (long[] values)
 
void WhenBound (VoidToVoid closure)
 
void WhenDomain (VoidToVoid closure)
 
virtual long OldMin ()
 
virtual long OldMax ()
 
override void Accept (ModelVisitor visitor)
 
IntVar IsEqual (IntExpr other)
 
IntVar IsDifferent (IntExpr other)
 
IntVar IsGreaterOrEqual (IntExpr other)
 
IntVar IsLessOrEqual (IntExpr other)
 
int Index ()
 
IntVarIterator GetDomain ()
 
IntVarIterator GetHoles ()
 
virtual void Range (out int l, out int u)
 
virtual void SetValue (long v)
 
IntVar VarWithName (string name)
 
void WhenRange (VoidToVoid closure)
 
Constraint MapTo (IntVarVector vars)
 
IntExpr IndexOf (long[] vars)
 
IntExpr IndexOf (IntVarVector vars)
 
IntVar IsGreater (long value)
 
IntVar IsGreater (IntExpr other)
 
IntVar IsLess (long value)
 
IntVar IsLess (IntExpr other)
 
IntVar IsMember (long[] values)
 
IntVar IsMember (int[] values)
 
Constraint Member (long[] values)
 
Constraint Member (int[] values)
 
OptimizeVar Minimize (long step)
 
OptimizeVar Maximize (long step)
 
IntExpr Abs ()
 
IntExpr Square ()
 
Solver solver ()
 
void FreezeQueue ()
 
void UnfreezeQueue ()
 
void EnqueueDelayedDemon (Demon d)
 
void EnqueueVar (Demon d)
 
void ResetActionOnFail ()
 
void SetVariableToCleanOnFail (IntVar v)
 
virtual string Name ()
 
void SetName (string name)
 
bool HasName ()
 

Static Public Member Functions

static IntExpr operator+ (IntExpr a, IntExpr b)
 
static IntExpr operator+ (IntExpr a, long v)
 
static IntExpr operator+ (long v, IntExpr a)
 
static IntExpr operator- (IntExpr a, IntExpr b)
 
static IntExpr operator- (IntExpr a, long v)
 
static IntExpr operator- (long v, IntExpr a)
 
static IntExpr operator- (IntExpr a)
 
static IntExpr operator* (IntExpr a, IntExpr b)
 
static IntExpr operator* (IntExpr a, long v)
 
static IntExpr operator* (long v, IntExpr a)
 
static IntExpr operator/ (IntExpr a, long v)
 
static IntExpr operator% (IntExpr a, long v)
 
static IntExprEquality operator== (IntExpr a, IntExpr b)
 
static WrappedConstraint operator== (IntExpr a, long v)
 
static IntExprEquality operator!= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator!= (IntExpr a, long v)
 
static WrappedConstraint operator>= (IntExpr a, long v)
 
static WrappedConstraint operator>= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator> (IntExpr a, long v)
 
static WrappedConstraint operator> (IntExpr a, IntExpr b)
 
static WrappedConstraint operator<= (IntExpr a, long v)
 
static WrappedConstraint operator<= (IntExpr a, IntExpr b)
 
static WrappedConstraint operator< (IntExpr a, long v)
 
static WrappedConstraint operator< (IntExpr a, IntExpr b)
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Properties

static int kUnboundBooleanVarValue [get]
 

Member Function Documentation

◆ Abs()

IntExpr Abs ( )
inlineinherited

Definition at line 369 of file constraint_solver/csharp/SolverHelper.cs.

◆ Accept()

override void Accept ( ModelVisitor  visitor)
inlinevirtualinherited

Reimplemented from IntExpr.

Definition at line 126 of file IntVar.cs.

◆ BaseName()

override string BaseName ( )
inlinevirtual

Reimplemented from PropagationBaseObject.

Definition at line 153 of file BooleanVar.cs.

◆ Bound()

override bool Bound ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 74 of file BooleanVar.cs.

◆ Contains()

override bool Contains ( long  v)
inlinevirtual

Reimplemented from IntVar.

Definition at line 110 of file BooleanVar.cs.

◆ Dispose() [1/2]

void Dispose ( )
inlineinherited

Definition at line 35 of file BaseObject.cs.

◆ Dispose() [2/2]

override void Dispose ( bool  disposing)
inlineprotectedvirtual

Reimplemented from BaseObject.

Definition at line 29 of file BooleanVar.cs.

◆ EnqueueDelayedDemon()

void EnqueueDelayedDemon ( Demon  d)
inlineinherited

Definition at line 64 of file PropagationBaseObject.cs.

◆ EnqueueVar()

void EnqueueVar ( Demon  d)
inlineinherited

Definition at line 68 of file PropagationBaseObject.cs.

◆ FreezeQueue()

void FreezeQueue ( )
inlineinherited

Definition at line 56 of file PropagationBaseObject.cs.

◆ GetDomain()

IntVarIterator GetDomain ( )
inlineinherited

Definition at line 159 of file IntVar.cs.

◆ GetHoles()

IntVarIterator GetHoles ( )
inlineinherited

Definition at line 165 of file IntVar.cs.

◆ HasName()

bool HasName ( )
inlineinherited

Definition at line 90 of file PropagationBaseObject.cs.

◆ Index()

int Index ( )
inlineinherited

Definition at line 154 of file IntVar.cs.

◆ IndexOf() [1/2]

IntExpr IndexOf ( IntVarVector  vars)
inlineinherited

Definition at line 133 of file IntExpr.cs.

◆ IndexOf() [2/2]

IntExpr IndexOf ( long[]  vars)
inlineinherited

Definition at line 127 of file IntExpr.cs.

◆ IsDifferent() [1/2]

IntVar IsDifferent ( IntExpr  other)
inlineinherited

Definition at line 206 of file IntExpr.cs.

◆ IsDifferent() [2/2]

override IntVar IsDifferent ( long  constant)
inlinevirtual

Reimplemented from IntVar.

Definition at line 131 of file BooleanVar.cs.

◆ IsEqual() [1/2]

IntVar IsEqual ( IntExpr  other)
inlineinherited

Definition at line 200 of file IntExpr.cs.

◆ IsEqual() [2/2]

override IntVar IsEqual ( long  constant)
inlinevirtual

Reimplemented from IntVar.

Definition at line 125 of file BooleanVar.cs.

◆ IsGreater() [1/2]

IntVar IsGreater ( IntExpr  other)
inlineinherited

Definition at line 212 of file IntExpr.cs.

◆ IsGreater() [2/2]

IntVar IsGreater ( long  value)
inlineinherited

Definition at line 152 of file IntExpr.cs.

◆ IsGreaterOrEqual() [1/2]

IntVar IsGreaterOrEqual ( IntExpr  other)
inlineinherited

Definition at line 218 of file IntExpr.cs.

◆ IsGreaterOrEqual() [2/2]

override IntVar IsGreaterOrEqual ( long  constant)
inlinevirtual

Reimplemented from IntVar.

Definition at line 137 of file BooleanVar.cs.

◆ IsLess() [1/2]

IntVar IsLess ( IntExpr  other)
inlineinherited

Definition at line 224 of file IntExpr.cs.

◆ IsLess() [2/2]

IntVar IsLess ( long  value)
inlineinherited

Definition at line 164 of file IntExpr.cs.

◆ IsLessOrEqual() [1/2]

IntVar IsLessOrEqual ( IntExpr  other)
inlineinherited

Definition at line 230 of file IntExpr.cs.

◆ IsLessOrEqual() [2/2]

override IntVar IsLessOrEqual ( long  constant)
inlinevirtual

Reimplemented from IntVar.

Definition at line 143 of file BooleanVar.cs.

◆ IsMember() [1/2]

IntVar IsMember ( int[]  values)
inlineinherited

Definition at line 182 of file IntExpr.cs.

◆ IsMember() [2/2]

IntVar IsMember ( long[]  values)
inlineinherited

Definition at line 176 of file IntExpr.cs.

◆ IsVar()

override bool IsVar ( )
inlinevirtualinherited

Reimplemented from IntExpr.

Definition at line 51 of file IntVar.cs.

◆ MapTo()

Constraint MapTo ( IntVarVector  vars)
inlineinherited

Definition at line 120 of file IntExpr.cs.

◆ Max()

override long Max ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 59 of file BooleanVar.cs.

◆ Maximize()

OptimizeVar Maximize ( long  step)
inlineinherited

Definition at line 242 of file IntExpr.cs.

◆ Member() [1/2]

Constraint Member ( int[]  values)
inlineinherited

Definition at line 194 of file IntExpr.cs.

◆ Member() [2/2]

Constraint Member ( long[]  values)
inlineinherited

Definition at line 188 of file IntExpr.cs.

◆ Min()

override long Min ( )
inlinevirtual

Reimplemented from IntExpr.

Definition at line 49 of file BooleanVar.cs.

◆ Minimize()

OptimizeVar Minimize ( long  step)
inlineinherited

Definition at line 236 of file IntExpr.cs.

◆ Name()

virtual string Name ( )
inlinevirtualinherited

Definition at line 80 of file PropagationBaseObject.cs.

◆ OldMax()

virtual long OldMax ( )
inlinevirtualinherited

Definition at line 116 of file IntVar.cs.

◆ OldMin()

virtual long OldMin ( )
inlinevirtualinherited

Definition at line 111 of file IntVar.cs.

◆ operator!=() [1/2]

static IntExprEquality operator!= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 378 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator!=() [2/2]

static WrappedConstraint operator!= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 384 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator%()

static IntExpr operator% ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 363 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [1/3]

static IntExpr operator* ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 351 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [2/3]

static IntExpr operator* ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 354 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator*() [3/3]

static IntExpr operator* ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 357 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [1/3]

static IntExpr operator+ ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 333 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [2/3]

static IntExpr operator+ ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 336 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator+() [3/3]

static IntExpr operator+ ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 339 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [1/4]

static IntExpr operator- ( IntExpr  a)
inlinestaticinherited

Definition at line 366 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [2/4]

static IntExpr operator- ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 342 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [3/4]

static IntExpr operator- ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 345 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator-() [4/4]

static IntExpr operator- ( long  v,
IntExpr  a 
)
inlinestaticinherited

Definition at line 348 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator/()

static IntExpr operator/ ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 360 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<() [1/2]

static WrappedConstraint operator< ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 408 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<() [2/2]

static WrappedConstraint operator< ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 396 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<=() [1/2]

static WrappedConstraint operator<= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 405 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator<=() [2/2]

static WrappedConstraint operator<= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 393 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator==() [1/2]

static IntExprEquality operator== ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 375 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator==() [2/2]

static WrappedConstraint operator== ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 381 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>() [1/2]

static WrappedConstraint operator> ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 402 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>() [2/2]

static WrappedConstraint operator> ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 390 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>=() [1/2]

static WrappedConstraint operator>= ( IntExpr  a,
IntExpr  b 
)
inlinestaticinherited

Definition at line 399 of file constraint_solver/csharp/SolverHelper.cs.

◆ operator>=() [2/2]

static WrappedConstraint operator>= ( IntExpr  a,
long  v 
)
inlinestaticinherited

Definition at line 387 of file constraint_solver/csharp/SolverHelper.cs.

◆ Range()

virtual void Range ( out int  l,
out int  u 
)
inlinevirtualinherited

Definition at line 71 of file IntExpr.cs.

◆ RawValue()

int RawValue ( )
inline

Definition at line 158 of file BooleanVar.cs.

◆ RemoveInterval()

override void RemoveInterval ( long  l,
long  u 
)
inlinevirtual

Reimplemented from IntVar.

Definition at line 89 of file BooleanVar.cs.

◆ RemoveValue()

override void RemoveValue ( long  v)
inlinevirtual

Reimplemented from IntVar.

Definition at line 84 of file BooleanVar.cs.

◆ RemoveValues()

virtual void RemoveValues ( long[]  values)
inlinevirtualinherited

Definition at line 76 of file IntVar.cs.

◆ ResetActionOnFail()

void ResetActionOnFail ( )
inlineinherited

Definition at line 72 of file PropagationBaseObject.cs.

◆ RestoreValue()

virtual void RestoreValue ( )
inlinevirtual

Definition at line 149 of file BooleanVar.cs.

◆ SetMax()

override void SetMax ( long  m)
inlinevirtual

Reimplemented from IntExpr.

Definition at line 64 of file BooleanVar.cs.

◆ SetMin()

override void SetMin ( long  m)
inlinevirtual

Reimplemented from IntExpr.

Definition at line 54 of file BooleanVar.cs.

◆ SetName()

void SetName ( string  name)
inlineinherited

Definition at line 85 of file PropagationBaseObject.cs.

◆ SetRange()

override void SetRange ( long  mi,
long  ma 
)
inlinevirtual

Reimplemented from IntExpr.

Definition at line 69 of file BooleanVar.cs.

◆ SetValue()

virtual void SetValue ( long  v)
inlinevirtualinherited

Definition at line 80 of file IntExpr.cs.

◆ SetValues()

virtual void SetValues ( long[]  values)
inlinevirtualinherited

Definition at line 81 of file IntVar.cs.

◆ SetVariableToCleanOnFail()

void SetVariableToCleanOnFail ( IntVar  v)
inlineinherited

Definition at line 76 of file PropagationBaseObject.cs.

◆ Size()

override ulong Size ( )
inlinevirtual

Reimplemented from IntVar.

Definition at line 105 of file BooleanVar.cs.

◆ solver()

Solver solver ( )
inlineinherited

Definition at line 50 of file PropagationBaseObject.cs.

◆ Square()

IntExpr Square ( )
inlineinherited

Definition at line 372 of file constraint_solver/csharp/SolverHelper.cs.

◆ ToString()

override string ToString ( )
inlinevirtual

Reimplemented from BaseObject.

Definition at line 115 of file BooleanVar.cs.

◆ UnfreezeQueue()

void UnfreezeQueue ( )
inlineinherited

Definition at line 60 of file PropagationBaseObject.cs.

◆ Value()

override long Value ( )
inlinevirtual

Reimplemented from IntVar.

Definition at line 79 of file BooleanVar.cs.

◆ Var()

override IntVar Var ( )
inlinevirtualinherited

Reimplemented from IntExpr.

Definition at line 56 of file IntVar.cs.

◆ VarType()

override int VarType ( )
inlinevirtual

Reimplemented from IntVar.

Definition at line 120 of file BooleanVar.cs.

◆ VarWithName()

IntVar VarWithName ( string  name)
inlineinherited

Definition at line 101 of file IntExpr.cs.

◆ WhenBound() [1/2]

override void WhenBound ( Demon  d)
inlinevirtual

Reimplemented from IntVar.

Definition at line 93 of file BooleanVar.cs.

◆ WhenBound() [2/2]

void WhenBound ( VoidToVoid  closure)
inlineinherited

Definition at line 89 of file IntVar.cs.

◆ WhenDomain() [1/2]

override void WhenDomain ( Demon  d)
inlinevirtual

Reimplemented from IntVar.

Definition at line 101 of file BooleanVar.cs.

◆ WhenDomain() [2/2]

void WhenDomain ( VoidToVoid  closure)
inlineinherited

Definition at line 97 of file IntVar.cs.

◆ WhenRange() [1/2]

override void WhenRange ( Demon  d)
inlinevirtual

Reimplemented from IntExpr.

Definition at line 97 of file BooleanVar.cs.

◆ WhenRange() [2/2]

void WhenRange ( VoidToVoid  closure)
inlineinherited

Definition at line 112 of file IntExpr.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn
protectedinherited

Definition at line 20 of file BaseObject.cs.

Property Documentation

◆ kUnboundBooleanVarValue

int kUnboundBooleanVarValue
staticget

Definition at line 42 of file BooleanVar.cs.


The documentation for this class was generated from the following file: