jif
Class Topics

java.lang.Object
  jif.Topics

public class Topics
extends java.lang.Object

Extension information for jif extension.

Field Summary

static java.lang.String	error
static java.lang.String	jif
static java.lang.String	labelEnv
static java.lang.String	labels
static java.lang.String	solver

Constructor Summary

Topics()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

jif

public static java.lang.String jif

solver

public static java.lang.String solver

error

public static java.lang.String error

labels

public static java.lang.String labels

labelEnv

public static java.lang.String labelEnv

Constructor Detail

Topics

public Topics()