public static class ConstantsAssumption.Updater extends Object
Constructor and Description |
---|
Updater(ConstantsAssumption assumption) |
Modifier and Type | Method and Description |
---|---|
ConstantsAssumption.Updater |
copy() |
boolean |
hasAssumption(JVariable target) |
void |
set(JVariable target,
JValueLiteral literal) |
ConstantsAssumption |
unwrap() |
public Updater(ConstantsAssumption assumption)
public ConstantsAssumption.Updater copy()
public boolean hasAssumption(JVariable target)
public void set(JVariable target, JValueLiteral literal)
public ConstantsAssumption unwrap()
Copyright © 2018. All rights reserved.