public class Utils extends Object
Title: Utils
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Utils()
static <T> List<T>
concat(List<T> l, List<T> m)
static List<aterm.ATermAppl>
getSharedVars(Node node1, Node node2)
removeDups(List<T> l)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Utils()
public static <T> List<T> concat(List<T> l, List<T> m)
public static List<aterm.ATermAppl> getSharedVars(Node node1, Node node2)
public static <T> List<T> removeDups(List<T> l)
Copyright © 2013. All Rights Reserved.