Google.OrTools.Sat.NotBoolVar Class Reference

Inheritance diagram for Google.OrTools.Sat.NotBoolVar:

Public Member Functions
	NotBoolVar (BoolVar boolvar)
int	GetIndex ()
	Returns the logical index of the literal.
ILiteral	Not ()
	Returns the Boolean negation of the literal.
LinearExpr	NotAsExpr ()
	Returns the Boolean negation of the literal as a linear expression.
override string	ToString ()

Properties
int	Index [get]

Additional Inherited Members
Static Public Member Functions inherited from Google.OrTools.Sat.LinearExpr
static LinearExpr	Sum (IEnumerable< LinearExpr > exprs)
	Creates Sum(exprs).
static LinearExpr	Sum (IEnumerable< ILiteral > literals)
	Creates Sum(literals).
static LinearExpr	Sum (IEnumerable< BoolVar > vars)
	Creates Sum(vars).
static LinearExpr	WeightedSum (IEnumerable< LinearExpr > exprs, IEnumerable< int > coeffs)
	Creates Sum(exprs[i] * coeffs[i]).
static LinearExpr	WeightedSum (IEnumerable< LinearExpr > exprs, IEnumerable< long > coeffs)
	Creates Sum(exprs[i] * coeffs[i]).
static LinearExpr	WeightedSum (IEnumerable< ILiteral > literals, IEnumerable< int > coeffs)
	Creates Sum(literals[i] * coeffs[i]).
static LinearExpr	WeightedSum (IEnumerable< ILiteral > literals, IEnumerable< long > coeffs)
	Creates Sum(literals[i] * coeffs[i]).
static LinearExpr	WeightedSum (IEnumerable< BoolVar > vars, IEnumerable< int > coeffs)
	Creates Sum(vars[i] * coeffs[i]).
static LinearExpr	WeightedSum (IEnumerable< BoolVar > vars, IEnumerable< long > coeffs)
	Creates Sum(vars[i] * coeffs[i]).
static LinearExpr	Term (LinearExpr expr, long coeff)
	Creates expr * coeff.
static LinearExpr	Term (ILiteral literal, long coeff)
	Creates literal * coeff.
static LinearExpr	Term (BoolVar var, long coeff)
	Creates var * coeff.
static LinearExpr	Affine (LinearExpr expr, long coeff, long offset)
	Creates expr * coeff + offset.
static LinearExpr	Affine (ILiteral literal, long coeff, long offset)
	Creates literal * coeff + offset.
static LinearExpr	Affine (BoolVar var, long coeff, long offset)
	Creates var * coeff + offset.
static LinearExpr	Constant (long value)
	Creates a constant expression.
static LinearExprBuilder	NewBuilder (int sizeHint=2)
	Creates a builder class for linear expression.
static LinearExpr	operator+ (LinearExpr a, LinearExpr b)
static LinearExpr	operator+ (LinearExpr a, long v)
static LinearExpr	operator+ (long v, LinearExpr a)
static LinearExpr	operator- (LinearExpr a, LinearExpr b)
static LinearExpr	operator- (LinearExpr a, long v)
static LinearExpr	operator- (long v, LinearExpr a)
static LinearExpr	operator* (LinearExpr a, long v)
static LinearExpr	operator* (long v, LinearExpr a)
static LinearExpr	operator- (LinearExpr a)
static BoundedLinearExpression	operator== (LinearExpr a, LinearExpr b)
static BoundedLinearExpression	operator!= (LinearExpr a, LinearExpr b)
static BoundedLinearExpression	operator== (LinearExpr a, long v)
static BoundedLinearExpression	operator!= (LinearExpr a, long v)
static BoundedLinearExpression	operator>= (LinearExpr a, long v)
static BoundedLinearExpression	operator>= (long v, LinearExpr a)
static BoundedLinearExpression	operator> (LinearExpr a, long v)
static BoundedLinearExpression	operator> (long v, LinearExpr a)
static BoundedLinearExpression	operator<= (LinearExpr a, long v)
static BoundedLinearExpression	operator<= (long v, LinearExpr a)
static BoundedLinearExpression	operator< (LinearExpr a, long v)
static BoundedLinearExpression	operator< (long v, LinearExpr a)
static BoundedLinearExpression	operator>= (LinearExpr a, LinearExpr b)
static BoundedLinearExpression	operator> (LinearExpr a, LinearExpr b)
static BoundedLinearExpression	operator<= (LinearExpr a, LinearExpr b)
static BoundedLinearExpression	operator< (LinearExpr a, LinearExpr b)

Detailed Description

Definition at line 815 of file IntegerExpressions.cs.

Constructor & Destructor Documentation

NotBoolVar()

Google.OrTools.Sat.NotBoolVar.NotBoolVar ( BoolVar boolvar )

inline

Definition at line 817 of file IntegerExpressions.cs.

Member Function Documentation

GetIndex()

int Google.OrTools.Sat.NotBoolVar.GetIndex ( )

inline

Returns the logical index of the literal.

Implements Google.OrTools.Sat.ILiteral.

Definition at line 822 of file IntegerExpressions.cs.

Not()

ILiteral Google.OrTools.Sat.NotBoolVar.Not ( )

inline

Returns the Boolean negation of the literal.

Implements Google.OrTools.Sat.ILiteral.

Definition at line 834 of file IntegerExpressions.cs.

NotAsExpr()

LinearExpr Google.OrTools.Sat.NotBoolVar.NotAsExpr ( )

inline

Returns the Boolean negation of the literal as a linear expression.

Implements Google.OrTools.Sat.ILiteral.

Definition at line 839 of file IntegerExpressions.cs.

ToString()

override string Google.OrTools.Sat.NotBoolVar.ToString ( )

inline

Definition at line 844 of file IntegerExpressions.cs.

Property Documentation

Index

int Google.OrTools.Sat.NotBoolVar.Index

get

Definition at line 827 of file IntegerExpressions.cs.

---

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

• ortools/sat/csharp/IntegerExpressions.cs