gitfan::facet Class Reference

#include <gitfan.h>

Public Member Functions
	facet ()
	facet (const facet &f)
	facet (const gfan::ZCone &c, const gfan::ZVector &v, const gfan::ZVector &w)
	~facet ()
gfan::ZCone	getEta ()
gfan::ZVector	getInteriorPoint ()
gfan::ZVector	getFacetNormal ()

Private Attributes
gfan::ZCone	eta
gfan::ZVector	interiorPoint
gfan::ZVector	facetNormal

Friends
struct	facet_compare

Detailed Description

Definition at line 17 of file gitfan.h.

Constructor & Destructor Documentation

facet::facet

(

)

Definition at line 31 of file gitfan.cc.

              :
    eta(gfan::ZCone()),
    interiorPoint(gfan::ZVector()),
    facetNormal(gfan::ZVector())
  {
  }

facet::facet

(

const facet &

f

)

Definition at line 38 of file gitfan.cc.

                                  :
    eta(f.eta),
    interiorPoint(f.interiorPoint),
    facetNormal(f.facetNormal)
  {
#ifndef SING_NDEBUG
    gfan::ZCone c = f.eta;
    gfan::ZVector v = f.interiorPoint;
    gfan::ZVector w = f.facetNormal;
    assume(c.ambientDimension() == (int)v.size());
    assume(c.ambientDimension() == (int)w.size());
    assume(c.contains(v));
    assume(!c.contains(w));
#endif
  }

facet::facet	(	const gfan::ZCone &	c,
		const gfan::ZVector &	v,
		const gfan::ZVector &	w
	)

Definition at line 54 of file gitfan.cc.

                                                                            :
    eta(c),
    interiorPoint(v),
    facetNormal(w)
  {
#ifndef SING_NDEBUG
    assume(c.ambientDimension() == (int)v.size());
    assume(c.ambientDimension() == (int)w.size());
    assume(c.contains(v));
    assume(!c.contains(w));
#endif
  }

facet::~facet

(

)

Definition at line 67 of file gitfan.cc.

  {
#ifndef SING_NDEBUG
    gfan::ZCone c = this->eta;
    gfan::ZVector v = this->interiorPoint;
    gfan::ZVector w = this->facetNormal;
    assume(c.ambientDimension() == (int)v.size());
    assume(c.ambientDimension() == (int)w.size());
    assume(c.contains(v));
    assume(!c.contains(w));
#endif
  }

Member Function Documentation

gfan::ZCone gitfan::facet::getEta ( )

inline

Definition at line 30 of file gitfan.h.

{ return this->eta; };

gfan::ZVector gitfan::facet::getFacetNormal ( )

inline

Definition at line 32 of file gitfan.h.

{ return this->facetNormal; };

gfan::ZVector gitfan::facet::getInteriorPoint ( )

inline

Definition at line 31 of file gitfan.h.

{ return this->interiorPoint; };

Friends And Related Function Documentation

friend struct facet_compare

friend

Definition at line 32 of file gitfan.h.

Field Documentation

gfan::ZCone gitfan::facet::eta

private

Definition at line 19 of file gitfan.h.

gfan::ZVector gitfan::facet::facetNormal

private

Definition at line 21 of file gitfan.h.

gfan::ZVector gitfan::facet::interiorPoint

private

Definition at line 20 of file gitfan.h.

---

The documentation for this class was generated from the following files:

• Singular/dyn_modules/gfanlib/gitfan.h
• Singular/dyn_modules/gfanlib/gitfan.cc