public NotBoolVar(BoolVar boolvar)
{
boolvar_ = boolvar;
}
/** <summary> Adds <c>var * coefficient</c> to the builder.</summary> */
public LinearExprBuilder AddTerm(BoolVar var, long coefficient)
{
terms_.Add(new Term(var, coefficient));
return(this);
}
/** <summary> Creates <c>var * coeff + offset</c>.</summary> */
public static LinearExpr Affine(BoolVar var, long coeff, long offset)
{
return(NewBuilder().AddTerm(var, coeff).Add(offset));
}
/** <summary> Adds <c>var</c> to the builder.</summary> */
public LinearExprBuilder Add(BoolVar var)
{
return(AddTerm(var, 1));
}
/** <summary> Creates <c>var * coeff</c>.</summary> */
public static LinearExpr Term(BoolVar var, long coeff)
{
return(Prod(var, coeff));
}
