constraint_macro.py File Reference

Classes
class	timeloopfe.v4.processors.constraint_macro.ConstraintMacroProcessor
	Defines constraint macros to be used for simplifying constraint specification. More...

Namespaces
namespace	timeloopfe
namespace	timeloopfe.v4
	Timeloop v4 Specification.
namespace	timeloopfe.v4.processors
	Standard suite of processors for timeloopfe.
namespace	timeloopfe.v4.processors.constraint_macro
	Defines constraint macros to be used for simplifying constraint specification.

Functions
Union[Factors, None]	timeloopfe.v4.processors.constraint_macro.factors_only_init (x)
	timeloopfe.v4.processors.constraint_macro.num2list_of_prime_factors (int x)
	timeloopfe.v4.processors.constraint_macro.get_call_stack_size ()
Tuple[Dict[str, int], Dict[str, int]]	timeloopfe.v4.processors.constraint_macro.greedy_allocate (Dict[str, int] factors, int capacity)