PC2 Struct Reference

#include <pc2.hpp>

Classes
struct	BinConstraint
struct	Constraint

Public Member Functions
	switch (ops[i])

Public Attributes
struct PC2::Constraint	constraints
vector< Sig >	ops
vector< AVar >	xs
vector< AVar >	ys
vector< AVar >	zs
vector< Interval >	domains
int	i = threadIdx.x
U &	r1 = domains[xs[i]]
U &	r2 = domains[ys[i]]
U &	r3 = domains[zs[i]]
vector< BinConstraint >	eq_mul_constraints
vector< BinConstraint >	eq_add_constraints
vector< BinConstraint >	eq_sub_constraints

Member Function Documentation

switch()

PC2::switch ( ops [i] )

inline

Member Data Documentation

constraints

struct PC2::Constraint PC2::constraints

ops

vector<Sig> PC2::ops

xs

vector<AVar> PC2::xs

ys

vector<AVar> PC2::ys

zs

vector<AVar> PC2::zs

domains

vector<Interval> PC2::domains

i

int PC2::i = threadIdx.x

r1

U& PC2::r1 = domains[xs[i]]

r2

U& PC2::r2 = domains[ys[i]]

r3

U& PC2::r3 = domains[zs[i]]

eq_mul_constraints

vector<BinConstraint> PC2::eq_mul_constraints

eq_add_constraints

vector<BinConstraint> PC2::eq_add_constraints

eq_sub_constraints

vector<BinConstraint> PC2::eq_sub_constraints

---

The documentation for this struct was generated from the following file:

• include/lala/pc2.hpp