#include <gitfan.h>
Definition at line 17 of file gitfan.h.
§ facet() [1/3]
Definition at line 31 of file gitfan.cc.
gfan::ZVector facetNormal
gfan::ZVector interiorPoint
§ facet() [2/3]
Definition at line 38 of file gitfan.cc.
44 gfan::ZCone c = f.eta;
46 gfan::ZVector
w = f.facetNormal;
47 assume(c.ambientDimension() == (int)v.size());
48 assume(c.ambientDimension() == (int)w.size());
gfan::ZVector facetNormal
int64vec * interiorPoint
An interior point of the facet.
const Variable & v
< [in] a sqrfree bivariate poly
gfan::ZVector interiorPoint
§ facet() [3/3]
facet::facet |
( |
const gfan::ZCone & |
c, |
|
|
const gfan::ZVector & |
v, |
|
|
const gfan::ZVector & |
w |
|
) |
| |
Definition at line 54 of file gitfan.cc.
60 assume(c.ambientDimension() == (int)
v.size());
61 assume(c.ambientDimension() == (int)
w.size());
gfan::ZVector facetNormal
const Variable & v
< [in] a sqrfree bivariate poly
gfan::ZVector interiorPoint
§ ~facet()
Definition at line 67 of file gitfan.cc.
70 gfan::ZCone c = this->
eta;
73 assume(c.ambientDimension() == (int)v.size());
74 assume(c.ambientDimension() == (int)w.size());
gfan::ZVector facetNormal
const Variable & v
< [in] a sqrfree bivariate poly
gfan::ZVector interiorPoint
§ getEta()
gfan::ZCone gitfan::facet::getEta |
( |
| ) |
|
|
inline |
Definition at line 30 of file gitfan.h.
30 {
return this->
eta; };
§ getFacetNormal()
gfan::ZVector gitfan::facet::getFacetNormal |
( |
| ) |
|
|
inline |
Definition at line 32 of file gitfan.h.
gfan::ZVector facetNormal
§ getInteriorPoint()
gfan::ZVector gitfan::facet::getInteriorPoint |
( |
| ) |
|
|
inline |
Definition at line 31 of file gitfan.h.
gfan::ZVector interiorPoint
§ facet_compare
§ eta
gfan::ZCone gitfan::facet::eta |
|
private |
§ facetNormal
gfan::ZVector gitfan::facet::facetNormal |
|
private |
§ interiorPoint
gfan::ZVector gitfan::facet::interiorPoint |
|
private |
The documentation for this class was generated from the following files: