K0.IneqIterator

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> mlsub >> typing >> [ lowlevel overview ]

PREV CLASS NEXT CLASS

SUMMARY:

DETAIL: FIELD | CONSTR | METHOD

mlsub.typing.lowlevel
Class K0.IneqIterator

java.lang.Object
  mlsub.typing.lowlevel.K0.IneqIterator

Field Summary

(package private) int range1


(package private) int range2


Constructor Summary

K0.IneqIterator()


K0.IneqIterator(int range1, int range2)


Method Summary

protected abstract void iter(int x1, int x2)


Methods inherited from class java.lang.Object

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

Field Detail

int range1

int range2

Constructor Detail

public K0.IneqIterator()

public K0.IneqIterator(int range1,
                       int range2)

Method Detail

protected abstract void iter(int x1,
                             int x2)
                      throws Unsatisfiable