symbolic.DerivedPredicate

class symbolic.DerivedPredicate

Bases: pybind11_object

__init__(*args, **kwargs)

Methods

__init__(*args, **kwargs)
apply(arg0)

static apply(arg0: symbolic.pysymbolic.DerivedPredicate) → None