Lattice land propagators completion library
Loading...
Searching...
No Matches
PC2::BinConstraint Struct Reference

#include <pc2.hpp>

Public Attributes

vector< AVar > xs
 
vector< AVar > ys
 
vector< AVar > zs
 

Member Data Documentation

◆ xs

vector<AVar> PC2::BinConstraint::xs

◆ ys

vector<AVar> PC2::BinConstraint::ys

◆ zs

vector<AVar> PC2::BinConstraint::zs

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