immrax.refinement
-
class immrax.refinement.SampleRefinement(H: Array, num_samples: int = 10)
Bases: Refinement
Methods
-
get_refine_func() → Callable[[Interval], Interval]
-
H: Array
-
Hp: Array
-
N: Array
-
A_lib: Array
-
num_samples: int
-
class immrax.refinement.LinProgRefinement(H: Array)
Bases: Refinement
Methods
-
get_refine_func() → Callable[[Interval], Interval]
-
H: Array
-
class immrax.refinement.NullVecRefinement(null_vec: Array)
Bases: Refinement
Methods
-
get_refine_func() → Callable[[Interval], Interval]
-
null_vec: Array