This code is not my own. It was written by NASA. I found it in another project on GitHub.

I added three methods to the end of the gov.nasa.ltl.trans.Formula class:

• public static String[] getPredicates(String)
• public static String[] getPredicates(Formula)
• public String[] getPredicates()

The license note found in the LTL2Buchi class file is reproduced here:

Copyright (C) 2005 United States Government as represented by the Administrator of the National Aeronautics and Space Administration (NASA). All Rights Reserved.

This software is distributed under the NASA Open Source Agreement (NOSA), version 1.3. The NOSA has been approved by the Open Source Initiative. See the file NOSA-1.3-JPF at the top of the distribution directory tree for the complete NOSA document.

THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.

Written by Dimitra and Flavio (2001) Some modifications by: Roby Joehanes