public interface ConstantGenerator extends TermGenerator
Modifier and Type | Method and Description |
---|---|
Constant |
getFreshSymbol()
Generate a fresh constant, i.e.
|
Constant getFreshSymbol()
getFreshSymbol
in interface TermGenerator
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.