ConstantAtomFunctionVariable
getVariable()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.