public static class CopyAssumption.Updater extends Object
Constructor and Description |
---|
CopyAssumption.Updater(CopyAssumption assumption) |
Modifier and Type | Method and Description |
---|---|
void |
addCopy(JVariable original,
JVariable targetVariable) |
JVariable |
getMostOriginal(JVariable variable) |
JVariable |
getOriginal(JVariable variable) |
void |
kill(JVariable targetVariable) |
CopyAssumption |
unwrap() |
public CopyAssumption.Updater(CopyAssumption assumption)
public void kill(JVariable targetVariable)
public CopyAssumption unwrap()
Copyright © 2016. All rights reserved.