public abstract class Term extends Object implements Serializable
Struct
,
Var
,
Number
,
Serialized FormModifier and Type | Field and Description |
---|---|
static int |
ATOM |
static StructAtom |
emptyList |
static Term |
FALSE |
static Iterator |
iterator |
static int |
NUMBER |
int |
pos |
int[] |
prePost |
static int |
STRUCT |
Term[] |
tree |
static Term |
TRUE |
int |
type |
static int |
VAR |
Modifier | Constructor and Description |
---|---|
protected |
Term() |
public int type
public static final int VAR
public static final int NUMBER
public static final int STRUCT
public static final int ATOM
public static final Term TRUE
public static final Term FALSE
public static final StructAtom emptyList
public static final Iterator iterator
public int pos
public Term[] tree
public int[] prePost
public abstract String toStringSmall()
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.