org.dllearner.core.configurators
Class KBFileConfigurator

java.lang.Object
  org.dllearner.core.configurators.KBFileConfigurator

All Implemented Interfaces:

Configurator

public class KBFileConfigurator
extends Object
implements Configurator

automatically generated, do not edit manually. run org.dllearner.scripts.ConfigJavaGenerator to update

Constructor Summary

KBFileConfigurator(KBFile kBFile)

Method Summary

static KBFile	getKBFile()
URL	getUrl() url URL pointer to the KB file.
boolean	isReinitNecessary() true, if this component needs reinitializsation.
void	setUrl(URL url)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KBFileConfigurator

public KBFileConfigurator(KBFile kBFile)

Parameters:

kBFile - see KBFile

Method Detail

getKBFile

public static KBFile getKBFile()

Returns:

KBFile

getUrl

public URL getUrl()

url URL pointer to the KB file. mandatory: false| reinit necessary: true default value: null

Returns:

URL

setUrl

public void setUrl(URL url)

Parameters:

url - URL pointer to the KB file. mandatory: false| reinit necessary: true default value: null

isReinitNecessary

public boolean isReinitNecessary()

true, if this component needs reinitializsation.

Returns:

boolean