protected class Player.MergeOption
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ConvexObject |
first
The source object in the merge.
|
private double |
increase
The relative area gain for this merge.
|
private ConvexObject |
second
The target object in the merge.
|
Modifier | Constructor and Description |
---|---|
private |
MergeOption(ConvexObject first,
ConvexObject second,
double increase)
Constructs a new merge option with the
given objects and area gain.
|
Modifier and Type | Method and Description |
---|---|
ConvexObject |
execute()
Executes this merge by making it concrete in the game state.
|
double |
getIncrease()
Gets the relative area gain for this merge.
|
private final ConvexObject first
private final ConvexObject second
private final double increase
private MergeOption(ConvexObject first, ConvexObject second, double increase)
first
- The source object in the merge.second
- The target object in the merge.increase
- The relative area gain for this merge.public double getIncrease()
public ConvexObject execute() throws java.lang.InterruptedException
java.lang.InterruptedException
- When the player was
interrupted while making its move. Signalling
that the game was aborted.