timeloopfe.v4.processors.constraint_macro Namespace Reference

Defines constraint macros to be used for simplifying constraint specification. More...

Classes
class	ConstraintMacroProcessor
	Defines constraint macros to be used for simplifying constraint specification. More...

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

Detailed Description

Defines constraint macros to be used for simplifying constraint specification.

Function Documentation

factors_only_init()

Union[Factors, None] timeloopfe.v4.processors.constraint_macro.factors_only_init

(

x

)

get_call_stack_size()

timeloopfe.v4.processors.constraint_macro.get_call_stack_size

(

)

greedy_allocate()

Tuple[Dict[str, int], Dict[str, int]] timeloopfe.v4.processors.constraint_macro.greedy_allocate	(	Dict[str, int]	factors,
		int	capacity )

num2list_of_prime_factors()

timeloopfe.v4.processors.constraint_macro.num2list_of_prime_factors

(

int

x

)