Package org.liveontologies.protege.explanation.justification.preferences

Class JustPrefs

java.lang.Object

org.liveontologies.protege.explanation.justification.preferences.JustPrefs

public class JustPrefs
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	increment
static final String	INCREMENT_DESCRIPTION
static final String	INITIAL_NUMBER_DESCRIPTION
int	initialNumber

Method Summary

Modifier and Type	Method	Description
static JustPrefs	create()
JustPrefs	load()
JustPrefs	reset()
JustPrefs	save()

Methods inherited from class java.lang.Object

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

Field Details

INCREMENT_DESCRIPTION

public static final String INCREMENT_DESCRIPTION

See Also:

• Constant Field Values

INITIAL_NUMBER_DESCRIPTION

public static final String INITIAL_NUMBER_DESCRIPTION

See Also:

• Constant Field Values

increment

public int increment

initialNumber

public int initialNumber

Method Details

create

public static JustPrefs create()

load

public JustPrefs load()

save

public JustPrefs save()

reset

public JustPrefs reset()