| Package | Description |
|---|---|
| net.sf.tweety.logics.fol.syntax.tptp.fof |
| Modifier and Type | Class and Description |
|---|---|
class |
TptpFofConstant
A constant consists of an unique identifier name and a sort.
|
class |
TptpFofFunctionalTerm |
class |
TptpFofStringTerm
This class implements the generic Fof-Term-class with Strings
|
class |
TptpFofVariable
Variables are used in quantified formulas
Each Variable must begin with an upper case letter followed by any amount (>=0) of lower case letters
|
| Modifier and Type | Method and Description |
|---|---|
List<TptpFofTerm<?>> |
TptpFofPredicate.getArguments() |
| Modifier and Type | Method and Description |
|---|---|
void |
TptpFofSort.add(TptpFofTerm<?> t) |
void |
TptpFofAtomicFormula.addArgument(TptpFofTerm<?> term) |
| Constructor and Description |
|---|
TptpFofAtomicFormula(TptpFofPredicate predicate,
TptpFofTerm<?>... terms) |
| Constructor and Description |
|---|
TptpFofAtomicFormula(TptpFofPredicate predicate,
List<? extends TptpFofTerm<?>> arguments) |
TptpFofFunctionalTerm(TptpFofFunctor functor,
List<TptpFofTerm<?>> arguments) |
TptpFofPredicate(String name,
List<TptpFofTerm<?>> arguments) |
TptpFofSort(String name,
Set<? extends TptpFofTerm<?>> argument) |
Copyright © 2016. All rights reserved.