Symbolic

class eclypse.graph.assets.symbolic.Symbolic

Bases: Asset

SymbolicAsset represents an asset defined as a list of symbolic variables.

The logic of the asset is defined in terms of a set of constraints.

Methods

aggregate(*assets)	Aggregate the assets into a single asset via union.
is_consistent(asset)	Consistency check for asset.
satisfies(asset, constraint)	Check if asset contains constraint.

aggregate(*assets)

Aggregate the assets into a single asset via union.

Parameters:

assets (Iterable[SymbolicAsset]) – The assets to aggregate.

Returns:

The aggregated asset.

Return type:

SymbolicAsset

satisfies(asset, constraint)

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

is_consistent(asset)

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.