A bulk load is to use when there are a set of invariants that all listen statically to the same array of variables
but whose dynamic dependencies are really sparse
in case such dependencies are bulk loaded,
we create an instance of Bulk between the variables and invariants such that
the bulk statically listens to all variables and the invariants statically listen to the bulk.
In this setting, the number of dependencies is O(N) instead of O(N*N)
Also, if you use this, please ensure that the bulk loaded invariants will not waste their time iterating
on the bulked variables eg for finding the min and max value of these variables. If you need to compute some value over the bulked variables,
you can use the method performBulkComputation in Bulk for good efficiency.
Linear Supertypes
AnyRef, Any
Ordering
Alphabetic
By inheritance
Inherited
Hide All
Show all
BulkLoad
AnyRef
Any
Visibility
Public
All
Value Members
def!=(arg0: AnyRef): Boolean
Attributes
final
Definition Classes
AnyRef
def!=(arg0: Any): Boolean
Attributes
final
Definition Classes
Any
def##(): Int
Attributes
final
Definition Classes
AnyRef → Any
def==(arg0: AnyRef): Boolean
Attributes
final
Definition Classes
AnyRef
def==(arg0: Any): Boolean
Attributes
final
Definition Classes
Any
defapply[VarType <: Variable, BulkedComputationResult](invariants: Iterable[Bulked[VarType, BulkedComputationResult]], Variables: Array[VarType]): Unit
A bulk load is to use when there are a set of invariants that all listen statically to the same array of variables but whose dynamic dependencies are really sparse in case such dependencies are bulk loaded, we create an instance of Bulk between the variables and invariants such that the bulk statically listens to all variables and the invariants statically listen to the bulk. In this setting, the number of dependencies is O(N) instead of O(N*N) Also, if you use this, please ensure that the bulk loaded invariants will not waste their time iterating on the bulked variables eg for finding the min and max value of these variables. If you need to compute some value over the bulked variables, you can use the method performBulkComputation in Bulk for good efficiency.