|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Type | |
---|---|
tuffy.mln | This package builds the data structure of MLN. |
tuffy.ra | Rich logic/relational constructs such as expressions and Datalog. |
tuffy.test | This package includes testing codes for tuffy. |
Uses of Type in tuffy.mln |
---|
Fields in tuffy.mln declared as Type | |
---|---|
static Type |
Type.Bool
|
static Type |
Type.Float
|
static Type |
Type.Generic
Built-in types |
static Type |
Type.Integer
|
private Type |
Type.nonSymbolicType
|
static Type |
Type.String
|
Fields in tuffy.mln with type parameters of type Type | |
---|---|
private java.util.ArrayList<Type> |
Clause.metaTypes
Types of meta variables. |
private java.util.Hashtable<java.lang.String,Type> |
MarkovLogicNetwork.nameMapType
Map from string name to Type object. |
private java.util.ArrayList<Type> |
Predicate.types
List of argument types of this predicate. |
Methods in tuffy.mln that return Type | |
---|---|
Type |
Type.getNonSymbolicType()
|
Type |
MarkovLogicNetwork.getOrCreateTypeByName(java.lang.String name)
Return the type of a given name; create if this type does not exist. |
Type |
Predicate.getTypeAt(int k)
Return the type of the k-th argument. |
Methods in tuffy.mln with parameters of type Type | |
---|---|
private boolean |
Clause.addMetaVariable(java.lang.String v,
Type t)
Add a meta variable into this clause. |
void |
Predicate.appendArgument(Type t)
Append a new argument without a user-provided name. |
void |
Predicate.appendArgument(Type t,
java.lang.String name)
Append a new argument with a user provided name. |
int |
MarkovLogicNetwork.getSymbolID(java.lang.String symbol,
Type type)
Return assigned ID of a constant symbol. |
Uses of Type in tuffy.ra |
---|
Fields in tuffy.ra declared as Type | |
---|---|
private Type |
Function.retType_
|
Fields in tuffy.ra with type parameters of type Type | |
---|---|
private java.util.ArrayList<Type> |
Function.argTypes_
List of argument types and return type of this function. |
(package private) java.util.HashMap<java.lang.String,Type> |
ConjunctiveQuery.freeVars
|
Methods in tuffy.ra that return Type | |
---|---|
Type |
Function.getRetType()
Get return type |
Methods in tuffy.ra that return types with arguments of type Type | |
---|---|
java.util.List<Type> |
Function.getArgTypes()
|
Methods in tuffy.ra with parameters of type Type | |
---|---|
void |
Function.addArgument(Type type)
|
Constructors in tuffy.ra with parameters of type Type | |
---|---|
Function(java.lang.String name,
Type retType)
|
Uses of Type in tuffy.test |
---|
Fields in tuffy.test declared as Type | |
---|---|
private static Type |
ClauseTest.type
|
private static Type |
ParsingLoadingTest.type
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |