Method toString

Java/SMLJava/src/main/java/edu/umich/soar/IntWme.java:96–110

()

    }
    
    @Override
    public String toString()
    {
        if (wme == null)
            return "(invalid: " + attr + ")";
        
        StringBuilder sb = new StringBuilder("(");
        sb.append(wme.GetIdentifierName());
        sb.append(" ^");
        sb.append(attr);
        sb.append(" ");
        sb.append(wme.GetValueAsString());
        sb.append(")");
        return sb.toString();
    }
}