public class InstanceModel extends Object
| Constructor and Description |
|---|
InstanceModel(InstanceClafer... topClafers) |
| Modifier and Type | Method and Description |
|---|---|
InstanceClafer[] |
getTopClafers() |
InstanceClafer[] |
getTopClafers(AstConcreteClafer type) |
void |
print()
Print solution to stdout.
|
void |
print(Appendable out)
Print solution.
|
String |
toString() |
public InstanceModel(InstanceClafer... topClafers)
public InstanceClafer[] getTopClafers()
public InstanceClafer[] getTopClafers(AstConcreteClafer type)
public void print() throws IOException
IOExceptionpublic void print(Appendable out) throws IOException
IOExceptionCopyright © 2013. All Rights Reserved.