|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.util.EventObject
edu.washington.cs.supple.util.SuppleEvent
edu.washington.cs.supple.render.utility.RenderingPreferenceEvent
| Field Summary | |
protected Solution |
bad
|
protected Solution |
good
|
| Fields inherited from class java.util.EventObject |
source |
| Constructor Summary | |
RenderingPreferenceEvent(java.lang.Object source,
Solution preferred,
Solution bad)
|
|
| Method Summary | |
Solution |
getBetterSolution()
|
Solution |
getWorseSolution()
|
| Methods inherited from class java.util.EventObject |
getSource, toString |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
protected Solution good
protected Solution bad
| Constructor Detail |
public RenderingPreferenceEvent(java.lang.Object source,
Solution preferred,
Solution bad)
source - | Method Detail |
public Solution getBetterSolution()
public Solution getWorseSolution()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||