AbstractVariable.java

Go to the documentation of this file.

/*
 * Created on Nov 2, 2009
 *
 * TODO To change the template for this generated file go to
 * Window - Preferences - Java - Code Style - Code Templates
 */
package edu.tum.cs.srl;

import edu.tum.cs.util.StringTool;

public abstract class AbstractVariable {
        public String functionName;
        public String[] params;
        public String value;
        
        public AbstractVariable(String functionName, String[] params, String value) {
                this.functionName = functionName;
                this.params = params;
                this.value = value;
        }
        
        public String toString() {
                return getKeyString() + " = " + value;                  
        }
        
        public String getKeyString() {
                return functionName + "(" + StringTool.join(",", params) + ")";
        }
        
        public abstract String getPredicate();

        public abstract boolean isBoolean();
        
        public boolean isTrue() {
                return value.equalsIgnoreCase("True");
        }
}

---

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