public class Partition extends Object
Modifier and Type | Field and Description |
---|---|
static int |
LAZY_PARTITION_ID
When grounding with lazy atoms, we will initially set their partition
value to this so that we can tell them apart.
|
Constructor and Description |
---|
Partition(int id,
String name)
Sole constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
int |
getID() |
String |
getName() |
int |
hashCode() |
String |
toString() |
public static final int LAZY_PARTITION_ID
public Partition(int id, String name)
id
- non-negative identifierCopyright © 2018 University of California, Santa Cruz. All rights reserved.