pytanque reference

petanque python bindings

class pytanque.AffApp

Represents an affine application

cst(self: pytanque.AffApp) → pytanque.Vector
matrix(self: pytanque.AffApp) → pytanque.Matrix
class pytanque.App

Represents an application by separating the non-linear and affine parts

affine(self: pytanque.App) → pytanque.AffApp
cst(self: pytanque.App) → pytanque.Vector
matrix(self: pytanque.App) → pytanque.Matrix
nl(self: pytanque.App) → pytanque.VectorApp
class pytanque.Expr

Represents a symbolic boolean expression

anf_esf_max_degree(self: pytanque.Expr) → int

Returns the maximum possible degree that a potential ESF could have in the expression. This is used by find_esfs

args(self: pytanque.Expr) → pytanque.ExprArgs

Returns a reference to an ExprArgs object if this expression contains arguments. Throws a BadType exception otherwise

contains(self: pytanque.Expr, arg0: pytanque.Expr) → bool

Returns true iif arg0 is in self. This does not try to search for it recursively

copy(self: pytanque.Expr) → pytanque.Expr

Create a deep copy of the expression

esf_degree(self: pytanque.Expr) → int
eval(self: pytanque.Expr, arg0: Dict[pytanque.Expr, pytanque.Expr]) → pytanque.Expr
has_args(self: pytanque.Expr) → bool
imm_value(self: pytanque.Expr) → bool
is_add(self: pytanque.Expr) → bool
is_esf(self: pytanque.Expr) → bool
is_imm(self: pytanque.Expr) → bool
is_mul(self: pytanque.Expr) → bool
is_sym(self: pytanque.Expr) → bool
name(self: pytanque.Expr) → str
sym_idx(self: pytanque.Expr) → int

Returns the index associated to a symbol is this expression is a symbol. Throws a BadType exception otherwise

type(self: pytanque.Expr) → pytanque.ExprType
class pytanque.ExprArgs

Represents the argument of an expression

len(self: pytanque.ExprArgs) → int
size(self: pytanque.ExprArgs) → int
class pytanque.ExprType

Enum of the various expression types

pytanque.ExprWithArgs(*args, **kwargs)

Overloaded function.

  1. ExprWithArgs(arg0: pytanque.ExprType, arg1: list) -> pytanque.Expr
  2. ExprWithArgs(arg0: pytanque.ExprType, arg1: pytanque.ExprArgs) -> pytanque.Expr
class pytanque.Matrix

Represents a matrix of Expr objects

at(self: pytanque.Matrix, arg0: int, arg1: int) → pytanque.Expr
identity(self: int) → std::shared_ptr<pa::Matrix>
inverse(self: pytanque.Matrix) → pytanque.Matrix
ncols(self: pytanque.Matrix) → int
nlines(self: pytanque.Matrix) → int
same_size(self: pytanque.Matrix, arg0: pytanque.Matrix) → bool
class pytanque.Vector

Represents a vector of Expr objects

at(self: pytanque.Vector, arg0: int) → pytanque.Expr
get_int_be(self: pytanque.Vector) → int
get_int_le(self: pytanque.Vector) → int
set_int_be(self: pytanque.Vector, arg0: int, arg1: int) → None
set_int_le(self: pytanque.Vector, arg0: int, arg1: int) → None
set_null(self: pytanque.Vector) → None
size(self: pytanque.Vector) → int
class pytanque.VectorApp

Represents a generic application by a Vector object

vector(self: pytanque.VectorApp) → pytanque.Vector
pytanque.arg_symbol(arg0: int) → pytanque.ExprSym
pytanque.esf(arg0: int, arg1: list) → pytanque.Expr
pytanque.esf_vector(arg0: int, arg1: list) → pytanque.Vector
pytanque.expand_esf(*args, **kwargs)

Overloaded function.

  1. expand_esf(arg0: pytanque.Expr) -> pytanque.Expr
  2. expand_esf(arg0: pytanque.Vector) -> pytanque.Vector
pytanque.expand_esf_inplace(*args, **kwargs)

Overloaded function.

  1. expand_esf_inplace(arg0: pytanque.Expr) -> None
  2. expand_esf_inplace(arg0: pytanque.Vector) -> None
pytanque.identify_ors_inplace(arg0: pytanque.Expr) → bool
pytanque.imm(arg0: int) → pytanque.Expr
pytanque.or_to_esf(arg0: pytanque.Expr) → pytanque.Expr
pytanque.or_to_esf_inplace(arg0: pytanque.Expr) → None
pytanque.simplify(*args, **kwargs)

Overloaded function.

  1. simplify(arg0: pytanque.Expr) -> pytanque.Expr
  2. simplify(arg0: pytanque.Vector) -> pytanque.Vector
  3. simplify(arg0: pytanque.Matrix) -> pytanque.Matrix
pytanque.simplify_inplace(*args, **kwargs)

Overloaded function.

  1. simplify_inplace(arg0: pytanque.Expr) -> pytanque.Expr
  2. simplify_inplace(arg0: pytanque.Vector) -> pytanque.Vector
  3. simplify_inplace(arg0: pytanque.Matrix) -> pytanque.Matrix
pytanque.subs_exprs(*args, **kwargs)

Overloaded function.

  1. subs_exprs(arg0: pytanque.Expr, arg1: list, arg2: list) -> pytanque.Expr
  2. subs_exprs(arg0: pytanque.Vector, arg1: list, arg2: list) -> pytanque.Vector
  3. subs_exprs(arg0: pytanque.Matrix, arg1: list, arg2: list) -> pytanque.Matrix
pytanque.subs_exprs_inplace(*args, **kwargs)

Overloaded function.

  1. subs_exprs_inplace(arg0: pytanque.Expr, arg1: list, arg2: list) -> None
  2. subs_exprs_inplace(arg0: pytanque.Vector, arg1: list, arg2: list) -> None
  3. subs_exprs_inplace(arg0: pytanque.Matrix, arg1: list, arg2: list) -> None
pytanque.subs_vectors(*args, **kwargs)

Overloaded function.

  1. subs_vectors(arg0: pytanque.Expr, arg1: list, arg2: list) -> pytanque.Expr
  2. subs_vectors(arg0: pytanque.Vector, arg1: list, arg2: list) -> pytanque.Vector
  3. subs_vectors(arg0: pytanque.Matrix, arg1: list, arg2: list) -> pytanque.Matrix
pytanque.symbol(arg0: str) → pytanque.ExprSym