Public Member Functions | |
void | gen () |
String | toString () |
Static Public Member Functions | |
static void | main (String[] args) |
Private Attributes | |
final Set< Partition > | parts = new HashSet<Partition>() |
final Set< Domain > | doms = new HashSet<Domain>() |
final Set< Literal > | lits = new HashSet<Literal>() |
Static Private Attributes | |
static final int | n = 4 |
Definition at line 38 of file Graph.java.
void edu.mit.csail.sdg.squander.examples.partitioning.Graph.gen | ( | ) |
Definition at line 66 of file Graph.java.
Referenced by edu.mit.csail.sdg.squander.examples.partitioning.Graph.main().
static void edu.mit.csail.sdg.squander.examples.partitioning.Graph.main | ( | String[] | args | ) | [static] |
Definition at line 89 of file Graph.java.
References edu.mit.csail.sdg.squander.engine.ISquanderResult.findNext(), edu.mit.csail.sdg.squander.examples.partitioning.Graph.gen(), and edu.mit.csail.sdg.squander.engine.ISquanderResult.hasSolution().
String edu.mit.csail.sdg.squander.examples.partitioning.Graph.toString | ( | ) |
Definition at line 71 of file Graph.java.
final Set<Domain> edu.mit.csail.sdg.squander.examples.partitioning.Graph.doms = new HashSet<Domain>() [private] |
Definition at line 43 of file Graph.java.
final Set<Literal> edu.mit.csail.sdg.squander.examples.partitioning.Graph.lits = new HashSet<Literal>() [private] |
Definition at line 44 of file Graph.java.
final int edu.mit.csail.sdg.squander.examples.partitioning.Graph.n = 4 [static, private] |
Definition at line 40 of file Graph.java.
final Set<Partition> edu.mit.csail.sdg.squander.examples.partitioning.Graph.parts = new HashSet<Partition>() [private] |
Definition at line 42 of file Graph.java.