求解器

(类来自 pyomo.contrib.appsi.base)

class pyomo.contrib.appsi.base.Solver[source]

基类：ABC

__init__()

方法

`__init__`()
`available`()	测试此系统上是否可用的求解器。
`is_persistent`()
`solve`(model[, timer])	解决一个Pyomo模型。
`version`()

属性

`config`	用于配置求解选项的对象。
`symbol_map`

成员文档

enum Availability(value)[source]

基础：IntEnum

as_integer_ratio()

返回整数比率。

返回一对整数，其比例完全等于原始整数，并且分母为正数。

>>> (10).as_integer_ratio()
(10, 1)
>>> (-10).as_integer_ratio()
(-10, 1)
>>> (0).as_integer_ratio()
(0, 1)

bit_count()

自身绝对值的二进制表示中1的数量。

也被称为人口计数。

>>> bin(13)
'0b1101'
>>> (13).bit_count()
3

bit_length()

表示自身所需的二进制位数。

>>> bin(37)
'0b100101'
>>> (37).bit_length()
6

conjugate(): 返回自身，即任何整数的复共轭。

classmethod from_bytes(bytes, byteorder='big', *, signed=False)

返回由给定字节数组表示的整数。

bytes: 保存要转换的字节数组。参数必须支持缓冲区协议或是一个生成字节的可迭代对象。Bytes 和 bytearray 是支持缓冲区协议的内置对象的示例。
byteorder: 用于表示整数的字节顺序。如果字节顺序是‘big’，最高有效字节位于字节数组的开头。如果字节顺序是‘little’，最高有效字节位于字节数组的末尾。要请求主机系统的本机字节顺序，请使用sys.byteorder作为字节顺序值。默认是使用‘big’。
signed: 指示是否使用二进制补码来表示整数。

to_bytes(length=1, byteorder='big', *, signed=False)

返回表示整数的字节数组。

length: 要使用的字节对象的长度。如果整数不能用给定的字节数表示，则会引发OverflowError。默认长度为1。
byteorder: 用于表示整数的字节顺序。如果字节顺序是‘big’，最高有效字节位于字节数组的开头。如果字节顺序是‘little’，最高有效字节位于字节数组的末尾。要请求主机系统的本机字节顺序，请使用sys.byteorder作为字节顺序值。默认是使用‘big’。
signed: 确定是否使用二进制补码来表示整数。如果 signed 为 False 并且给出了负整数，则会引发 OverflowError。

denominator: 最低项有理数的分母

imag: 复数的虚部

numerator: 最低项有理数的分子

real: 复数的实部

abstract available()[source]

测试此系统上是否可用的求解器。

名义上，如果求解器接口有效并可用于解决问题，则返回True；如果不能，则返回False。

请注意，对于有许可证的求解器，有多个“级别”的可用性：根据许可证的不同，求解器可能在问题大小或运行时间上有限制（例如，‘demo’ vs. ‘community’ vs. ‘full’）。在这些情况下，求解器可能会返回一个enum.IntEnum的子类，如果求解器可用（可能有限制），则其成员解析为True。该枚举也可能有多个成员，所有成员都解析为False，表示接口不可用的原因（未找到、许可证无效、版本不受支持等）。

Returns:: available – 一个枚举，表示求解器的“可用性”。请注意，该枚举可以转换为布尔值，如果求解器可以运行，则为 True，否则为 False。
Return type:: Solver.Availability

is_persistent()[source]

Returns:: is_persistent – 如果求解器是持久求解器，则为True。
Return type:: bool

abstract solve(model: BlockData, timer: HierarchicalTimer = None) → Results[source]

解决一个Pyomo模型。

Parameters:

model (BlockData) – 要解决的Pyomo模型
timer (HierarchicalTimer) – 用于报告时间的可选计时器

Returns:

results – 一个结果对象

Return type:

Results

abstract version() → Tuple[source]

Returns:: version – 表示版本的元组
Return type:: tuple

abstract property config

用于配置求解选项的对象。

Returns:: 一个用于配置pyomo求解选项的对象，例如时间限制。这些选项大多与求解器无关。
Return type:: SolverConfig