concepts.dsl.expression.QuantificationOpType#

class QuantificationOpType[source]#

Bases: JacEnum

Methods

`from_string`(value)
`type_name`()	Return the type name of the enum.
`choice_names`()	Returns the list of the name of all possible choices.
`choice_objs`()	Returns the list of the object of all possible choices.
`choice_values`()	Returns the list of the value of all possible choices.
`is_valid`(value)	Check if the value is a valid choice.
`assert_valid`(value)	Assert if the value is a valid choice.

Attributes

`FORALL`
`EXISTS`
`BATCHED`

classmethod __getitem__(name)#: Return the member matching name.

classmethod __iter__()#: Return members in definition order.

classmethod __len__()#: Return the number of members (no aliases)

__new__(value)#

classmethod assert_valid(value)#: Assert if the value is a valid choice.

classmethod choice_names()#: Returns the list of the name of all possible choices.

classmethod choice_objs()#: Returns the list of the object of all possible choices.

classmethod choice_values()#: Returns the list of the value of all possible choices.

classmethod from_string(value)#

Parameters:: value (str | JacEnum)
Return type:: JacEnum

classmethod is_valid(value)#: Check if the value is a valid choice.

classmethod type_name()#: Return the type name of the enum.

BATCHED = 'batched'#

EXISTS = 'exists'#

FORALL = 'forall'#