#include <gitfan.h>
Definition at line 17 of file gitfan.h.
◆ facet() [1/3]
Definition at line 28 of file gitfan.cc.
28 :
32 {
33 }
gfan::ZVector facetNormal
gfan::ZVector interiorPoint
◆ facet() [2/3]
Definition at line 35 of file gitfan.cc.
35 :
39 {
40#ifndef SING_NDEBUG
41 gfan::ZCone c =
f.eta;
42 gfan::ZVector
v =
f.interiorPoint;
43 gfan::ZVector
w =
f.facetNormal;
44 assume(c.ambientDimension() == (
int)
v.size());
45 assume(c.ambientDimension() == (
int)
w.size());
48#endif
49 }
const Variable & v
< [in] a sqrfree bivariate poly
◆ facet() [3/3]
facet::facet |
( |
const gfan::ZCone & |
c, |
|
|
const gfan::ZVector & |
v, |
|
|
const gfan::ZVector & |
w |
|
) |
| |
Definition at line 51 of file gitfan.cc.
51 :
55 {
56#ifndef SING_NDEBUG
57 assume(c.ambientDimension() == (
int)
v.size());
58 assume(c.ambientDimension() == (
int)
w.size());
61#endif
62 }
◆ ~facet()
Definition at line 64 of file gitfan.cc.
65 {
66#ifndef SING_NDEBUG
67 gfan::ZCone c = this->
eta;
70 assume(c.ambientDimension() == (
int)
v.size());
71 assume(c.ambientDimension() == (
int)
w.size());
74#endif
75 }
◆ getEta()
gfan::ZCone gitfan::facet::getEta |
( |
| ) |
|
|
inline |
◆ getFacetNormal()
gfan::ZVector gitfan::facet::getFacetNormal |
( |
| ) |
|
|
inline |
◆ getInteriorPoint()
gfan::ZVector gitfan::facet::getInteriorPoint |
( |
| ) |
|
|
inline |
◆ 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: