Uses of Class
tuffy.mln.Type

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