Class Satsolver::Repokey
In: satsolver.i
Parent: Object

expose XRepokey as ‘Repokey

Methods

__str__   name   size   type   type_id  

Public Instance methods

String representation of the key

name of key

size of key

Internal memory consumption

Class of key

Returns a best matching Class representation of the type

i.e. Satsolver::REPOKEY_TYPE_VOID is represented as a Boolean since presence of the key means true for this attribute.

type id of key

One of Satsolver::REPOKEY_TYPE_*

[Validate]