org.sat4j
Class Messages

java.lang.Object
  extended by org.sat4j.Messages

public class Messages
extends java.lang.Object

That class is intented to manage internationalisation within the application.

Author:
leberre

Method Summary
static java.lang.String getString(java.lang.String key)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getString

public static java.lang.String getString(java.lang.String key)


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.