public class Utils extends Object
Title: Utils
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
Utils() |
| Modifier and Type | Method and Description |
|---|---|
static <T> List<T> |
concat(List<T> l,
List<T> m) |
static List<aterm.ATermAppl> |
getSharedVars(Node node1,
Node node2) |
static <T> List<T> |
removeDups(List<T> l) |
Copyright © 2019. All rights reserved.