Set<aterm.ATermAppl>
getExplanation(RulesToATermTranslator translator)
Copyright © 2013. All Rights Reserved.