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
IOException
public void print(Appendable out) throws IOException
IOException
Copyright © 2013. All Rights Reserved.