org.activemath.webapp.dict
Class RelationFilter

java.lang.Object
  extended by org.activemath.webapp.dict.RelationFilter

public class RelationFilter
extends Object


Field Summary
protected static Logger log
          The logger for this class
 
Method Summary
 List getComments()
           
 List getDefines()
           
 List getDependsOn()
           
 List getExamples()
           
 List getExercises()
           
 List getIsFor()
           
 List getProofs()
           
 List getRefersTo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

protected static Logger log
The logger for this class

Method Detail

getIsFor

public List getIsFor()

getComments

public List getComments()

getExercises

public List getExercises()

getExamples

public List getExamples()

getProofs

public List getProofs()

getDefines

public List getDefines()

getDependsOn

public List getDependsOn()

getRefersTo

public List getRefersTo()