Gnm.SubSolver

g GObject.Object GObject.Object Gnm.Solver Gnm.Solver GObject.Object->Gnm.Solver Gnm.SubSolver Gnm.SubSolver Gnm.Solver->Gnm.SubSolver

Subclasses:

None

Methods

Inherited:

Gnm.Solver (28), GObject.Object (37)

Structs:

GObject.ObjectClass (5)

class

locate_binary (binary, solver, url, wbcg)

clear ()

find_cell (name)

find_constraint (name)

flush ()

get_cell_name (cell)

name_cell (cell, name)

name_constraint (cidx, name)

Virtual Methods

Inherited:

Gnm.Solver (3), GObject.Object (7)

do_child_exit (normal, code)

Properties

Inherited:

Gnm.Solver (8)

Signals

Inherited:

Gnm.Solver (3), GObject.Object (1)

Name

Short Description

child-exit

Fields

Inherited:

Gnm.Solver (3), GObject.Object (1)

Name

Type

Access

Description

cell_from_name

{object: object}

r

channel_watches

[int]

r

channels

[GLib.IOChannel]

r

child_pid

int

r

child_watch

int

r

constraint_from_name

{object: object}

r

fd

[int]

r

io_funcs

[GLib.IOFunc]

r

io_funcs_data

[object]

r

name_from_cell

{object: object}

r

parent

Gnm.Solver

r

program_filename

str

r

Class Details

class Gnm.SubSolver(**kwargs)
Bases:

Gnm.Solver

Abstract:

No

Structure:

Gnm.SubSolverClass

classmethod locate_binary(binary, solver, url, wbcg)
Parameters:
Return type:

str

clear()
find_cell(name)
Parameters:

name (str) –

Return type:

Gnm.Cell

find_constraint(name)
Parameters:

name (str) –

Return type:

int

flush()
get_cell_name(cell)
Parameters:

cell (Gnm.Cell) –

Return type:

str

name_cell(cell, name)
Parameters:
Return type:

str

name_constraint(cidx, name)
Parameters:
  • cidx (int) –

  • name (str) –

Return type:

str

do_child_exit(normal, code) virtual
Parameters:

Signal Details

Gnm.SubSolver.signals.child_exit(sub_solver, object, p0)
Signal Name:

child-exit

Flags:

RUN_LAST

Parameters:
  • sub_solver (Gnm.SubSolver) – The object which received the signal

  • object (bool) –

  • p0 (int) –