openllet.aterm.pure.binary.SymEntry Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of openllet-functions Show documentation

Openllet management of abstracts functions

There is a newer version: 2.6.5

package openllet.aterm.pure.binary;

import openllet.aterm.AFun;
import openllet.aterm.ATerm;

class SymEntry
{
	public AFun fun;
	public int arity;
	public int nrTerms;
	public int termWidth;
	public ATerm[] terms;
	public int[] nrTopSyms;
	public int[] symWidth;
	public int[][] topSyms;
}