jijmodeling.generation.size

Module Contents

Functions

Name	Description
at_least	at_least(lb) returns a closed interval $[\mathtt{lb}, \infty)$; that is, $x \in \mathtt{at\_least(lb…
at_most	at_most(ub) returns a closed interval $(-\infty, \mathtt{ub}]$; that is, $x \in \mathtt{at\_most(ub)…
closed	closed(lb, ub) returns a closed interval $[\mathtt{lb}, \mathtt{ub}]$; that is, $x \in \mathtt{close…
closed_open	closed_open(lb, ub) returns a upper half-open interval $[\mathtt{lb}, \mathtt{ub})$; that is, $x \in…
greater_than	greater_than(lb) returns an open interval $(\mathtt{lb}, \infty)$; that is, $x \in \mathtt{greater\_…
less_than	less_than(ub) returns an open interval $(-\infty, \mathtt{ub})$; that is, $x \in \mathtt{less\_than(…
open	open(lb, ub) returns an open interval $(\mathtt{lb}, \mathtt{ub})$; that is, $x \in \mathtt{open(lb,…
open_closed	open_closed(lb, ub) returns a lower half-open interval $(\mathtt{lb}, \mathtt{ub}]$; that is, $x \in…

Functions

at_least(arg: int) → str | dict[str, int] | Literal["Unbounded"]

at_least(lb) returns a closed interval $[\mathtt{lb}, \infty)$; that is, $x \in \mathtt{at\_least(lb)} \iff x \geq \mathtt{lb}$.

at_most(bd: int) → str | dict[str, int] | Literal["Unbounded"]

at_most(ub) returns a closed interval $(-\infty, \mathtt{ub}]$; that is, $x \in \mathtt{at\_most(ub)} \iff x \leq \mathtt{ub}$.

closed(lb: int, ub: int) → str | dict[str, int] | Literal["Unbounded"]

closed(lb, ub) returns a closed interval $[\mathtt{lb}, \mathtt{ub}]$; that is, $x \in \mathtt{closed(lb, ub)} \iff \mathtt{lb} \leq x \leq \mathtt{ub}$

closed_open(lb: int, ub: int) → str | dict[str, int] | Literal["Unbounded"]

closed_open(lb, ub) returns a upper half-open interval $[\mathtt{lb}, \mathtt{ub})$; that is, $x \in \mathtt{closed\_open(lb, ub)} \iff \mathtt{lb} \leq x < \mathtt{ub}$. For size range, it is same as the python’s standard range(lb, ub) function.

greater_than(arg: int) → str | dict[str, int] | Literal["Unbounded"]

greater_than(lb) returns an open interval $(\mathtt{lb}, \infty)$; that is, $x \in \mathtt{greater\_than(lb)} \iff x > \mathtt{lb}$.

less_than(bd: int) → str | dict[str, int] | Literal["Unbounded"]

less_than(ub) returns an open interval $(-\infty, \mathtt{ub})$; that is, $x \in \mathtt{less\_than(ub)} \iff x < \mathtt{ub}$. For size range, it is same as the python’s standard range(ub) function.

open(lb: int, ub: int) → str | dict[str, int] | Literal["Unbounded"]

open(lb, ub) returns an open interval $(\mathtt{lb}, \mathtt{ub})$; that is, $x \in \mathtt{open(lb, ub)} \iff \mathtt{lb} < x < \mathtt{ub}$

open_closed(lb: int, ub: int) → str | dict[str, int] | Literal["Unbounded"]

open_closed(lb, ub) returns a lower half-open interval $(\mathtt{lb}, \mathtt{ub}]$; that is, $x \in \mathtt{open\_closed(lb, ub)} \iff \mathtt{lb} < x \leq \mathtt{ub}$.