All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Check`	`convert(SymbolTable symbols)`
`static Check`	`convert_from(Check r, SymbolTable symbols)`
`boolean`	`equals(Object o)`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public Check convert(SymbolTable symbols)

public static Check convert_from(Check r,
                                 SymbolTable symbols)

Constructors
Constructor	Description
`Check(Rule query)`
`Check(List<Rule> queries)`

Class Check