public class Fact extends Tuple<aterm.ATermAppl>
Title: Fact
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
Fact(DependencySet ds,
aterm.ATermAppl... constants) |
Fact(DependencySet ds,
List<aterm.ATermAppl> constants) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
String |
toString() |
getDependencySet, getElements, hashCodepublic Fact(DependencySet ds, aterm.ATermAppl... constants)
public Fact(DependencySet ds, List<aterm.ATermAppl> constants)
Copyright © 2019. All rights reserved.