public interface FolTerm extends LFTerm
Modifier and Type | Interface and Description |
---|---|
static class |
FolTerm.FolConst |
LFTerm.LFApply, LFTerm.LFLambda, LFTerm.LFVar
Modifier and Type | Field and Description |
---|---|
static FolTerm.FolConst |
EQUAL |
static FolTerm.FolConst |
EXISTS |
static FolTerm.FolConst |
FORALL |
static final FolTerm.FolConst FORALL
static final FolTerm.FolConst EXISTS
static final FolTerm.FolConst EQUAL