APRONXX 0.9.14
apron Namespace Reference

Classes

class  abstract0
 Level 0 abstract value (ap_abstract0_t* wrapper). More...
 
class  abstract1
 Level 1 abstract value (ap_abstract1_t wrapper). More...
 
class  bad_discriminant
 Exception raised when an operation is incompatible with a discriminant. More...
 
struct  bottom
 Empty interval or domain, to simplify initialisations and assignments. More...
 
class  box_manager
 Manager factory for the Box interval-domain library. More...
 
class  coeff
 Coefficient (ap_coeff_t wrapper). More...
 
class  dim
 Represents a dimension (i.e., variable by index) in an expression tree. More...
 
class  dimchange
 Dimension change object (ap_dimchange_t wrapper). More...
 
class  dimperm
 Dimension permutation object (ap_dimperm_t wrapper). More...
 
class  environment
 Level 1 environment (ap_environment_t wrapper). More...
 
struct  frac
 A fraction with native int coefficients, to simplify initialisations and assignments. More...
 
class  generator0
 Level 0 generator (ap_generator0_t wrapper). More...
 
class  generator0_array
 Array of generators (ap_generator0_array_t wrapper). More...
 
class  generator1
 Level 1 generator (ap_generator1_t wrapper). More...
 
class  generator1_array
 Array of generators (ap_generator1_array_t wrapper). More...
 
struct  id
 The identity permutation, to simplify initialisations and assignments. More...
 
struct  infty
 Either +oo or -oo, to simplify initialisations and assignments. More...
 
class  interval
 Interval (ap_interval_t wrapper). More...
 
class  interval_array
 array of interval(s). More...
 
class  lincons0
 Level 0 linear constraint (ap_lincons0_t wrapper). More...
 
class  lincons0_array
 Array of linear constraints (ap_lincons0_array_t wrapper). More...
 
class  lincons1
 Level 1 linear constraint (ap_lincons1_t wrapper). More...
 
class  lincons1_array
 Array of linear constraints (ap_lincons1_array_t wrapper). More...
 
class  linexpr0
 Level 0 linear expression (ap_linexpr0_t wrapper). More...
 
class  linexpr1
 Level 1 linear expression (ap_linexpr1_t wrapper). More...
 
class  manager
 Library manager (ap_manager_t wrapper). More...
 
class  not_implemented
 Exception raised when a function is not implemented. More...
 
class  oct_manager
 Manager factory for the Octagon domain library. More...
 
class  pkgrid_manager
 Manager factory for reduced product domain of NewPolka polyhedra and PPL grids. More...
 
class  polka_manager
 Manager factory for the NewPolka polyhedra library. More...
 
class  ppl_grid_manager
 Manager factory for grid domain using the PPL library. More...
 
class  ppl_poly_manager
 Manager factory for polyhedra domain using the PPL library. More...
 
class  scalar
 Scalar (ap_scalar_t wrapper). More...
 
class  t1p_manager
 Manager factory for the Taylor1plus zonotope library. More...
 
struct  tbool
 3-valued boolean (tbool_t wrapper). More...
 
class  tcons0
 Level 0 arbitrary constraint (ap_tcons0_t wrapper). More...
 
class  tcons0_array
 Array of arbitrary constraints (ap_tcons0_array_t wrapper). More...
 
class  tcons1
 Level 1 arbitrary constraint (ap_tcons1_t wrapper). More...
 
class  tcons1_array
 Array of arbitrary constraints (ap_tcons1_array_t wrapper). More...
 
class  texpr0
 Level 0 arbitrary expression tree (ap_texpr0_t wrapper). More...
 
class  texpr1
 Level 1 arbitrary expression tree (ap_texpr1_t wrapper). More...
 
class  timeout
 Exception raised when a timeout occurs. More...
 
struct  top
 Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments. More...
 
struct  unsat
 Unsatisfiable constraint, to simplify initialisations and assignments. More...
 
struct  use_malloc
 Inherited by most wrappers to map new and delete to malloc and free. More...
 
class  var
 Variable name (ap_var_t wrapper). More...
 
class  varname
 Stream modifier to set variable names to dimensions. More...
 

Functions

bool is_unop (ap_texpr_op_t op)
 Whether the operator is unary.
 
bool is_binop (ap_texpr_op_t op)
 Whether the operator is binary.
 

Function Documentation

◆ is_binop()

bool apron::is_binop ( ap_texpr_op_t op)

Whether the operator is binary.

◆ is_unop()

bool apron::is_unop ( ap_texpr_op_t op)

Whether the operator is unary.