public interface TermGenerator
Term
getFreshSymbol()
Term getFreshSymbol()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.