public class CityGMLDomParser extends java.lang.Object
Constructor and Description |
---|
CityGMLDomParser(java.io.File house)
Parses the CityGML file.
|
Modifier and Type | Method and Description |
---|---|
int |
EulerCharacteristic(F2ChainComplex complex)
Returns the EulerCharacteristic of a chain complex
over the finite space F2 with two elements.
|
java.util.Set<java.lang.String> |
getExtraFaces()
Returns the faces associated to the interior holes
of polygons of this CityGML document.
|
java.util.Set<java.lang.String> |
getFaces()
Returns the faces of the space associated with
this CityGML document.
|
java.util.Set<java.lang.String> |
getLines()
Returns the lines of the space associated with
this CityGML document.
|
java.util.Set<java.lang.String> |
getVertices()
Returns the vertices of the space associated
with this CityGML document.
|
static void |
main(java.lang.String[] args) |
|
pureQuasiCore()
Returns a quick approximation to the core of the pure space
associated with this CityGML document by removing beat points.
|
|
pureSpace()
Returns the finite topological space without the faces
associated with the interior holes of polygons.
|
|
quasiCore()
Returns a quick approximation to the core of the finite
topological space associated with this CityGML document
by removing beat points.
|
|
space()
Returns the finite topological space associated with a
CityGML document
|
public CityGMLDomParser(java.io.File house)
house
- the CityGML filepublicspace()
publicpureSpace()
publicquasiCore()
publicpureQuasiCore()
public java.util.Set<java.lang.String> getVertices()
public java.util.Set<java.lang.String> getLines()
public java.util.Set<java.lang.String> getFaces()
public java.util.Set<java.lang.String> getExtraFaces()
public int EulerCharacteristic(F2ChainComplex complex)
complex
- the chain complex over F2public static void main(java.lang.String[] args)