Uses of Class
nl.tudelft.goal.ut3.messages.FlagState

Packages that use FlagState
nl.tudelft.goal.ut3.messages   
nl.tudelft.goal.ut3.translators   
 

Uses of FlagState in nl.tudelft.goal.ut3.messages
 

Methods in nl.tudelft.goal.ut3.messages that return FlagState
static FlagState FlagState.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static FlagState FlagState.valueOfIgnoreCase(String state)
           
static FlagState[] FlagState.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Uses of FlagState in nl.tudelft.goal.ut3.translators
 

Methods in nl.tudelft.goal.ut3.translators that return types with arguments of type FlagState
 Class<? extends FlagState> FlagStateTranslator.translatesFrom()
           
 

Methods in nl.tudelft.goal.ut3.translators with parameters of type FlagState
 eis.iilang.Parameter[] FlagStateTranslator.translate(FlagState o)
           
 



Copyright © 2014 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.