Constructor and Description |
---|
FlagStateTranslator() |
public eis.iilang.Parameter[] translate(FlagState o) throws nl.tudelft.goal.EIS2Java.exception.TranslationException
translate
in interface nl.tudelft.goal.EIS2Java.translation.Java2Parameter<FlagState>
nl.tudelft.goal.EIS2Java.exception.TranslationException
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.