openllet.aterm.pure.binary.ATermConstruct 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.ATerm;

/**
 * A structure that contains all information we need for reconstructing a term.
 *
 * @author Arnold Lankamp
 */
class ATermConstruct
{
	public int type;

	public int termIndex = 0;
	public ATerm tempTerm = null;

	public int subTermIndex = 0;
	public ATerm[] subTerms = null;

	ATermConstruct(final int type, final int termIndex)
	{
		this.type = type;
		this.termIndex = termIndex;
	}
}