Index

_

_ATOM_TAGS (pygplib.absexpr.AbsExpr attribute) (pygplib.absfo.AbsFo attribute) (pygplib.absneg.AbsNeg attribute) (pygplib.absprop.AbsProp attribute) (pygplib.Fog attribute) (pygplib.fog.Fog attribute) (pygplib.Prop attribute) (pygplib.prop.Prop attribute) _BINOP_TAGS (pygplib.absexpr.AbsExpr attribute) (pygplib.absfo.AbsFo attribute) (pygplib.absneg.AbsNeg attribute) (pygplib.absprop.AbsProp attribute) (pygplib.Fog attribute) (pygplib.fog.Fog attribute) (pygplib.Prop attribute) (pygplib.prop.Prop attribute) _CLIQUE_ENC (pygplib.GrSt attribute) (pygplib.grst.GrSt attribute) _COMMA (pygplib.absexpr.AbsExpr attribute) _dict (pygplib.name.NameMgr attribute) (pygplib.NameMgr attribute) _DIRECT_ENC (pygplib.GrSt attribute) (pygplib.grst.GrSt attribute) _EDG (pygplib.Fog attribute) (pygplib.fog.Fog attribute) _EDGE_ENC (pygplib.GrSt attribute) (pygplib.grst.GrSt attribute) _ENCODING (pygplib.GrSt attribute) (pygplib.grst.GrSt attribute) _EQ (pygplib.Fog attribute) (pygplib.fog.Fog attribute) _EXISTS (pygplib.absfo.AbsFo attribute) _EXPR_TAGS (pygplib.absexpr.AbsExpr attribute) (pygplib.absfo.AbsFo attribute) (pygplib.absneg.AbsNeg attribute) (pygplib.absprop.AbsProp attribute) (pygplib.Fog attribute) (pygplib.fog.Fog attribute) (pygplib.Prop attribute) (pygplib.prop.Prop attribute)

_FALSE_CONST (pygplib.absneg.AbsNeg attribute) _FORALL (pygplib.absfo.AbsFo attribute) _IFF (pygplib.absprop.AbsProp attribute) _IMPLIES (pygplib.absprop.AbsProp attribute) _init (pygplib.absexpr.IndexGen attribute) (pygplib.IndexGen attribute) _inv_list (pygplib.name.NameMgr attribute) (pygplib.NameMgr attribute) _LAND (pygplib.absprop.AbsProp attribute) _LOG_ENC (pygplib.GrSt attribute) (pygplib.grst.GrSt attribute) _LOR (pygplib.absprop.AbsProp attribute) _LPAREN (pygplib.absexpr.AbsExpr attribute) _LT (pygplib.Fog attribute) (pygplib.fog.Fog attribute) _NEG (pygplib.absneg.AbsNeg attribute) _next (pygplib.absexpr.IndexGen attribute) (pygplib.IndexGen attribute) _QF_TAGS (pygplib.absfo.AbsFo attribute) (pygplib.Fog attribute) (pygplib.fog.Fog attribute) _RPAREN (pygplib.absexpr.AbsExpr attribute) _TRUE_CONST (pygplib.absneg.AbsNeg attribute) _unique_table (pygplib.absexpr.AbsExpr attribute) _UNOP_TAGS (pygplib.absexpr.AbsExpr attribute) (pygplib.absfo.AbsFo attribute) (pygplib.absneg.AbsNeg attribute) (pygplib.absprop.AbsProp attribute) (pygplib.Fog attribute) (pygplib.fog.Fog attribute) (pygplib.Prop attribute) (pygplib.prop.Prop attribute) _VAR (pygplib.Prop attribute) (pygplib.prop.Prop attribute)

A

AbsExpr (class in pygplib.absexpr) AbsFo (class in pygplib.absfo) AbsNeg (class in pygplib.absneg) AbsProp (class in pygplib.absprop)

adjacent() (pygplib.GrSt method) (pygplib.grst.GrSt method) atom() (pygplib.Fog class method) (pygplib.fog.Fog class method)

B

base (pygplib.Cnf attribute) (pygplib.cnf.Cnf attribute) BaseRelSt (class in pygplib) Be (class in pygplib.be) be_edg() (pygplib.GrSt method) (pygplib.grst.GrSt method) be_eq() (pygplib.GrSt method) (pygplib.grst.GrSt method)

be_F() (pygplib.GrSt method) (pygplib.grst.GrSt method) be_lt() (pygplib.GrSt method) (pygplib.grst.GrSt method) be_T() (pygplib.GrSt method) (pygplib.grst.GrSt method) binop() (pygplib.absprop.AbsProp class method) binop_batch() (pygplib.absprop.AbsProp class method) bitwise_binop() (pygplib.absprop.AbsProp class method)

C

clear() (pygplib.absexpr.IndexGen method) (pygplib.IndexGen method) (pygplib.name.NameMgr class method) (pygplib.NameMgr class method) cmp_atom_args() (pygplib.Fog static method) (pygplib.fog.Fog static method) Cnf (class in pygplib) (class in pygplib.cnf) cnf (pygplib.Cnf attribute) (pygplib.cnf.Cnf attribute) code_length (pygplib.be.Be attribute) compute_auxiliary_constraint() (pygplib.GrSt method) (pygplib.grst.GrSt method) compute_cnf() (in module pygplib.op) compute_cnf_step() (pygplib.absexpr.AbsExpr method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Prop method) (pygplib.prop.Prop method)

compute_domain_constraint() (pygplib.GrSt method) (pygplib.grst.GrSt method) compute_ecc() (pygplib.ecc.Ecc method) compute_nnf() (in module pygplib.op) compute_nnf_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method) compute_separating_ecc() (pygplib.ecc.Ecc method) compute_size() (in module pygplib.op)

D

decode_assignment() (pygplib.BaseRelSt method) (pygplib.Cnf method) (pygplib.cnf.Cnf method)

domain (pygplib.BaseRelSt attribute)

E

Ecc (class in pygplib.ecc) edg() (pygplib.Fog class method) (pygplib.fog.Fog class method) eliminate_qf() (in module pygplib.op) encode_edg() (pygplib.GrSt method) (pygplib.grst.GrSt method) encode_eq() (pygplib.GrSt method) (pygplib.grst.GrSt method) encode_F() (pygplib.GrSt method) (pygplib.grst.GrSt method)

encode_T() (pygplib.GrSt method) (pygplib.grst.GrSt method) eq() (pygplib.Fog class method) (pygplib.fog.Fog class method) equal() (pygplib.GrSt method) (pygplib.grst.GrSt method) exists() (pygplib.absfo.AbsFo class method) exists_boolean_var() (pygplib.be.Be method) exists_symbol() (pygplib.be.Be method)

F

false_const() (pygplib.absneg.AbsNeg class method) Fog (class in pygplib) (class in pygplib.fog)

forall() (pygplib.absfo.AbsFo class method)

G

gen_key() (pygplib.absexpr.AbsExpr method) generate_subformulas() (in module pygplib.op) generator() (in module pygplib.op) get_atom_arg() (pygplib.Fog method) (pygplib.fog.Fog method) get_atom_value() (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method) get_aux_index() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method) get_boolean_var() (pygplib.be.Be method) get_boolean_var_list() (pygplib.be.Be method) get_bound_var() (pygplib.absfo.AbsFo method) get_clause() (pygplib.Cnf method) (pygplib.cnf.Cnf method) get_code() (pygplib.BaseRelSt method) get_code_pos() (pygplib.be.Be method) get_comma_tag() (pygplib.absexpr.AbsExpr class method) get_count() (pygplib.absexpr.IndexGen method) (pygplib.IndexGen method) get_edg_tag() (pygplib.Fog class method) (pygplib.fog.Fog class method) get_eq_tag() (pygplib.Fog class method) (pygplib.fog.Fog class method) get_exists_tag() (pygplib.absfo.AbsFo class method) get_false_const_tag() (pygplib.absneg.AbsNeg class method) get_forall_tag() (pygplib.absfo.AbsFo class method) get_free_vars() (in module pygplib.op) get_free_vars_and_consts() (in module pygplib.op)

get_free_vars_and_consts_post_step() (pygplib.absfo.AbsFo method) get_free_vars_and_consts_pre_step() (pygplib.absfo.AbsFo method) (pygplib.Fog method) (pygplib.fog.Fog method) get_iff_tag() (pygplib.absprop.AbsProp class method) get_implies_tag() (pygplib.absprop.AbsProp class method) get_land_tag() (pygplib.absprop.AbsProp class method) get_lor_tag() (pygplib.absprop.AbsProp class method) get_lparen_tag() (pygplib.absexpr.AbsExpr class method) get_lt_tag() (pygplib.Fog class method) (pygplib.fog.Fog class method) get_ncls() (pygplib.Cnf method) (pygplib.cnf.Cnf method) get_neg_tag() (pygplib.absneg.AbsNeg class method) get_next() (pygplib.absexpr.IndexGen method) (pygplib.IndexGen method) get_nvar() (pygplib.Cnf method) (pygplib.cnf.Cnf method) get_operand() (pygplib.absexpr.AbsExpr method) get_rparen_tag() (pygplib.absexpr.AbsExpr class method) get_symbol_index() (pygplib.be.Be method) get_tag() (pygplib.absexpr.AbsExpr method) get_true_const_tag() (pygplib.absneg.AbsNeg class method) get_var_index() (pygplib.Prop method) (pygplib.prop.Prop method) get_var_tag() (pygplib.Prop class method) (pygplib.prop.Prop class method) get_variable_position_pair() (pygplib.be.Be method) GrSt (class in pygplib) (class in pygplib.grst)

H

has_index() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method)

has_name() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method)

I

iff() (pygplib.absprop.AbsProp class method) implies() (pygplib.absprop.AbsProp class method) IndexGen (class in pygplib) (class in pygplib.absexpr) is_atom() (pygplib.absexpr.AbsExpr method) is_atom_term() (pygplib.absexpr.AbsExpr method) is_binop() (pygplib.absexpr.AbsExpr method) is_binop_term() (pygplib.absexpr.AbsExpr method) is_const_atom() (pygplib.absneg.AbsNeg method) is_constant() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method) is_decodable_boolean_var() (pygplib.be.Be method) is_edg_atom() (pygplib.Fog method) (pygplib.fog.Fog method) is_eq_atom() (pygplib.Fog method) (pygplib.fog.Fog method) is_exists() (pygplib.absfo.AbsFo method) is_exists_term() (pygplib.absfo.AbsFo method) is_false_atom() (pygplib.absneg.AbsNeg method) is_forall() (pygplib.absfo.AbsFo method) is_forall_term() (pygplib.absfo.AbsFo method)

is_iff() (pygplib.absprop.AbsProp method) is_iff_term() (pygplib.absprop.AbsProp method) is_implies() (pygplib.absprop.AbsProp method) is_implies_term() (pygplib.absprop.AbsProp method) is_land() (pygplib.absprop.AbsProp method) is_land_term() (pygplib.absprop.AbsProp method) is_lor() (pygplib.absprop.AbsProp method) is_lor_term() (pygplib.absprop.AbsProp method) is_lt_atom() (pygplib.Fog method) (pygplib.fog.Fog method) is_neg() (pygplib.absneg.AbsNeg method) is_neg_term() (pygplib.absneg.AbsNeg method) is_qf() (pygplib.absfo.AbsFo method) is_qf_term() (pygplib.absfo.AbsFo method) is_true_atom() (pygplib.absneg.AbsNeg method) is_unop() (pygplib.absexpr.AbsExpr method) is_unop_term() (pygplib.absexpr.AbsExpr method) is_var_atom() (pygplib.Prop method) (pygplib.prop.Prop method) is_variable() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method)

L

land() (pygplib.absprop.AbsProp class method) lookup_index() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method) lookup_name() (pygplib.name.NameMgr class method) (pygplib.NameMgr class method)

lor() (pygplib.absprop.AbsProp class method) lt() (pygplib.Fog class method) (pygplib.fog.Fog class method) (pygplib.GrSt method) (pygplib.grst.GrSt method)

M

make_node_str_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method) make_str_in_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method) make_str_post_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method)

make_str_pre_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method) module pygplib pygplib.absexpr pygplib.absfo pygplib.absneg pygplib.absprop pygplib.be pygplib.cnf pygplib.ecc pygplib.fog pygplib.grst pygplib.name pygplib.op pygplib.prop pygplib.symrelst

N

NameMgr (class in pygplib) (class in pygplib.name)

neg() (pygplib.absneg.AbsNeg class method) nvar (pygplib.Cnf attribute) (pygplib.cnf.Cnf attribute)

O

object_to_vertex() (pygplib.GrSt method) (pygplib.grst.GrSt method)

P

partitioning_order (pygplib.absexpr.AbsExpr attribute) perform_boolean_encoding() (in module pygplib.op) perform_boolean_encoding_step() (pygplib.Fog method) (pygplib.fog.Fog method) print_formula() (in module pygplib.op) Prop (class in pygplib) (class in pygplib.prop) propnize() (in module pygplib.op) pygplib module pygplib.absexpr module pygplib.absfo module pygplib.absneg module pygplib.absprop module

pygplib.be module pygplib.cnf module pygplib.ecc module pygplib.fog module pygplib.grst module pygplib.name module pygplib.op module pygplib.prop module pygplib.symrelst module

Q

qf() (pygplib.absfo.AbsFo class method)

R

read() (pygplib.Fog class method) (pygplib.fog.Fog class method) (pygplib.Prop class method) (pygplib.prop.Prop class method) reduce() (in module pygplib.op) reduce_formula() (in module pygplib.op) reduce_formula_step() (pygplib.absexpr.AbsExpr method) (pygplib.absfo.AbsFo method) (pygplib.absneg.AbsNeg method) (pygplib.absprop.AbsProp method) (pygplib.Fog method) (pygplib.fog.Fog method) (pygplib.Prop method) (pygplib.prop.Prop method)

S

sorted() (pygplib.GrSt method) (pygplib.grst.GrSt method) substitute() (in module pygplib.op) substitute_step() (pygplib.absfo.AbsFo method) (pygplib.Fog method) (pygplib.fog.Fog method)

SymRelSt (class in pygplib) (class in pygplib.symrelst)

T

to_str() (in module pygplib.op)

true_const() (pygplib.absneg.AbsNeg class method)

V

var() (pygplib.Prop class method) (pygplib.prop.Prop class method) vertex_to_object() (pygplib.GrSt method) (pygplib.grst.GrSt method)

vertex_to_object_int() (pygplib.GrSt method) (pygplib.grst.GrSt method) vertex_to_object_tuple() (pygplib.GrSt method) (pygplib.grst.GrSt method)

W

write() (pygplib.Cnf method) (pygplib.cnf.Cnf method)