Symbolic.is_consistent#
- Symbolic.is_consistent(asset)[source]
Consistency check for asset.
Checks if all the lower bound variables are present in the asset and all the variables in the asset are present in the upper bound.
- Parameters:
asset (SymbolicAsset) – The asset to be checked.
- Return type:
bool
Returns: True if lower_bound <= asset <= upper_bound, False otherwise.