MLNWriter.java

Go to the documentation of this file.

package edu.tum.cs.srl.mln;

import java.io.PrintStream;

import edu.tum.cs.srl.Signature;
import edu.tum.cs.util.StringTool;

public class MLNWriter {
        protected java.io.PrintStream out;
        
        public MLNWriter(PrintStream out) {
                this.out = out;
        }
        
        public void writeDomainDecl(String domName, String[] elems) {
                out.printf("%s = {%s}\n", formatAsTypeName(domName), StringTool.join(", ", elems));
        }
        
        public void writePredicateDecl(String predName, String[] types, Integer functionallyDeterminedArg) {
                out.print(formatAsPredName(predName));
                out.print('(');
                for(int i = 0; i < types.length; i++) {
                        if(i > 0)
                                out.print(", ");
                        out.print(formatAsTypeName(types[i]));
                        if(functionallyDeterminedArg != null && i == functionallyDeterminedArg)
                                out.print("!");                 
                }
                out.println(')');
        }
        
        public void writePredicateDecl(Signature sig, Integer functionallyDeterminedArg) {
                writePredicateDecl(sig.functionName, sig.argTypes, functionallyDeterminedArg);
        }
        
        public void writeMutexDecl(String predName, String[] params, String[] detParams) {
                out.print(formatAsPredName(predName));
                out.print('(');
                for(int i = 0; i < params.length; i++) {
                        if(i > 0) out.print(", ");
                        out.print("a" + i);
                        for(int j = 0; j < detParams.length; j++)
                                if(params[i].equals(detParams[j])) {
                                        out.print("!");
                                        break;
                                }                                       
                }
                out.println(')');
        }
        
        public static String formatAsPredName(String predName) {
                return lowerCaseString(predName);
        }
        
        public static String formatAsTypeName(String typeName) {
                return lowerCaseString(typeName);
        }
        
        public static String formatAsAtom(String atom) {
                int pos = atom.indexOf('(');
                String predName = atom.substring(0, pos);
                String params = atom.substring(pos);
                return formatAsPredName(predName) + params;
        }
        
        public static String lowerCaseString(String s) { 
                char[] c = s.toCharArray();
                c[0] = Character.toLowerCase(c[0]);
                return new String(c);
        }

        public static String upperCaseString(String s) { 
                char[] c = s.toCharArray();
                c[0] = Character.toUpperCase(c[0]);
                return new String(c);
        }

}

---

srldb
Author(s): Dominik Jain, Stefan Waldherr, Moritz Tenorth
autogenerated on Fri Jan 11 09:58:29 2013