Constraint Classe

Costruttore

Constraint(id, encoding, arity, error_rate)

Parametri

Nome Descrizione
id
Necessario
encoding
Necessario
arity
Necessario
error_rate
Necessario

Metodi

add_property
has_property

add_property

add_property(property)

Parametri

Nome Descrizione
property
Necessario

has_property

has_property(property)

Parametri

Nome Descrizione
property
Necessario

Attributi

arity

encoding

error_rate

id