Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD