saffron.runtime
Class Holder.int_Holder

java.lang.Object
  |
  +--saffron.runtime.Holder.int_Holder

Enclosing class:

Holder

public static final class Holder.int_Holder

extends Object

Field Summary

int

value

Constructor Summary

Holder.int_Holder(int value)

Method Summary

(package private) void	setGreater(int other)
(package private) void	setLesser(int other)

Methods inherited from class java.lang.Object

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

Field Detail

value

public int value

Constructor Detail

Holder.int_Holder

public Holder.int_Holder(int value)

Method Detail

setLesser

void setLesser(int other)

setGreater

void setGreater(int other)