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