nl.tudelft.goal.ut2004.translators
Class FlagStateTranslator
java.lang.Object
nl.tudelft.goal.ut2004.translators.FlagStateTranslator
- All Implemented Interfaces:
- nl.tudelft.goal.EIS2Java.translation.Java2Parameter<FlagState>
public class FlagStateTranslator
- extends Object
- implements nl.tudelft.goal.EIS2Java.translation.Java2Parameter<FlagState>
Example: held
Example: home
Example: dropped
- Author:
- mpkorstanje
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FlagStateTranslator
public FlagStateTranslator()
translate
public eis.iilang.Parameter[] translate(FlagState o)
throws nl.tudelft.goal.EIS2Java.exception.TranslationException
- Specified by:
translate
in interface nl.tudelft.goal.EIS2Java.translation.Java2Parameter<FlagState>
- Throws:
nl.tudelft.goal.EIS2Java.exception.TranslationException
translatesFrom
public Class<? extends FlagState> translatesFrom()
- Specified by:
translatesFrom
in interface nl.tudelft.goal.EIS2Java.translation.Java2Parameter<FlagState>
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.