Public Member Functions | |
int | getIdx () |
Set< Literal > | getInsts () |
int | hashCode () |
boolean | equals (Object obj) |
String | toString () |
Private Attributes | |
final int | idx = cnt++ |
final Set< Literal > | insts = new HashSet<Literal>() |
Static Private Attributes | |
static int | cnt = 0 |
Definition at line 13 of file Domain.java.
boolean edu.mit.csail.sdg.squander.examples.partitioning.Domain.equals | ( | Object | obj | ) |
Definition at line 33 of file Domain.java.
References edu.mit.csail.sdg.squander.examples.partitioning.Domain.idx.
int edu.mit.csail.sdg.squander.examples.partitioning.Domain.getIdx | ( | ) |
Definition at line 21 of file Domain.java.
Set<Literal> edu.mit.csail.sdg.squander.examples.partitioning.Domain.getInsts | ( | ) |
Definition at line 22 of file Domain.java.
int edu.mit.csail.sdg.squander.examples.partitioning.Domain.hashCode | ( | ) |
Definition at line 25 of file Domain.java.
String edu.mit.csail.sdg.squander.examples.partitioning.Domain.toString | ( | ) |
Definition at line 47 of file Domain.java.
int edu.mit.csail.sdg.squander.examples.partitioning.Domain.cnt = 0 [static, private] |
Definition at line 15 of file Domain.java.
final int edu.mit.csail.sdg.squander.examples.partitioning.Domain.idx = cnt++ [private] |
Definition at line 16 of file Domain.java.
Referenced by edu.mit.csail.sdg.squander.examples.partitioning.Domain.equals().
final Set<Literal> edu.mit.csail.sdg.squander.examples.partitioning.Domain.insts = new HashSet<Literal>() [private] |
Definition at line 18 of file Domain.java.