Symbolic.satisfies#

Symbolic.satisfies(asset, constraint)[source]

Check if asset contains constraint.

In a symbolic asset, asset contains constraint if all the variables in constraint are present in asset.

Parameters:

  • asset (SymbolicAsset) – The “container” asset.

  • constraint (SymbolicAsset) – The “contained” asset.

Returns:

True if asset >= constraint, False otherwise.

Return type:

bool