symbolic.Predicate

class symbolic.Predicate

Bases: pybind11_object

__init__(*args, **kwargs)

Methods

__init__(*args, **kwargs)
to_string(self, arg0)	Creates a string representation of the predicate with the given arguments.

Attributes

name	Predicate head.
parameter_generator	Combination generator for predicate parameters.
parameters	List of predicate parameters.

property name

Predicate head.

Type:

str

See also

C++: symbolic::Predicate::name().

property parameter_generator

Combination generator for predicate parameters.

Type:

symbolic.ParameterGenerator

See also

C++: symbolic::Predicate::parameter_generator().

property parameters

List of predicate parameters.

Type:

symbolic.Object

See also

C++: symbolic::Predicate::parameters().

to_string(self: symbolic.pysymbolic.Predicate, arg0: List[str]) → str

Creates a string representation of the predicate with the given arguments.

See also

C++: symbolic::Predicate::to_string().