org.processmining.plugins.log.loggrid

Class LogGridDataSource.Area

java.lang.Object

org.processmining.plugins.log.loggrid.LogGridDataSource.Area

Enclosing class:

LogGridDataSource

public static class LogGridDataSource.Area
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
double	height
double	width
double	x
double	y

Constructor Summary

Constructors

Constructor and Description
LogGridDataSource.Area(double x, double y, double width, double height)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(double x, double y)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

x

public final double x

y

public final double y

width

public final double width

height

public final double height

Constructor Detail

LogGridDataSource.Area

public LogGridDataSource.Area(double x,
                      double y,
                      double width,
                      double height)

Method Detail

contains

public boolean contains(double x,
               double y)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object