Google.OrTools.Sat.NotBoolVar Class Reference

Detailed Description

Definition at line 835 of file IntegerExpressions.cs.

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	AsExpr ()
	Returns the literal as a linear expression.
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)

Constructor & Destructor Documentation

NotBoolVar()

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

inline

Definition at line 837 of file IntegerExpressions.cs.

Member Function Documentation

AsExpr()

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

inline

Returns the literal as a linear expression.

Implements Google.OrTools.Sat.ILiteral.

Definition at line 859 of file IntegerExpressions.cs.

GetIndex()

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

inline

Returns the logical index of the literal.

Implements Google.OrTools.Sat.ILiteral.

Definition at line 842 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 854 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 864 of file IntegerExpressions.cs.

ToString()

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

inline

Definition at line 869 of file IntegerExpressions.cs.

Property Documentation

Index

int Google.OrTools.Sat.NotBoolVar.Index

get

Definition at line 847 of file IntegerExpressions.cs.

---

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

• ortools/sat/csharp/IntegerExpressions.cs