 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
27 facet(
const gfan::ZCone &c,
const gfan::ZVector &
v,
const gfan::ZVector &
w);
41 const gfan::ZVector v1 =
f.interiorPoint;
42 const gfan::ZVector v2 =
g.interiorPoint;
44 assume(v1.size() == v2.size());
50 typedef std::set<facet,facet_compare>
facets;
void mergeFacets(facets &F, const facets &newFacets)
gfan::ZVector facetNormal
gfan::ZVector interiorPoint
bool operator()(const facet &f, const facet &g) const
gfan::ZVector getInteriorPoint()
std::set< facet, facet_compare > facets
void gitfan_setup(SModulFunctions *p)
const Variable & v
< [in] a sqrfree bivariate poly
gfan::ZVector getFacetNormal()