Package network.aika.lattice.refinement
Class OrEntry
- java.lang.Object
-
- network.aika.lattice.refinement.OrEntry
-
- All Implemented Interfaces:
Comparable<OrEntry>,Writable
public class OrEntry extends Object implements Comparable<OrEntry>, Writable
- Author:
- Lukas Molzberger
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description intcompareTo(OrEntry oe)static OrEntryread(DataInput in, Model m)voidreadFields(DataInput in, Model m)Deserialize the fields of this object fromin.voidwrite(DataOutput out)Serialize the fields of this object toout.
-
-
-
Method Detail
-
write
public void write(DataOutput out) throws IOException
Description copied from interface:WritableSerialize the fields of this object toout.- Specified by:
writein interfaceWritable- Parameters:
out-DataOuputto serialize this object into.- Throws:
IOException
-
read
public static OrEntry read(DataInput in, Model m) throws IOException
- Throws:
IOException
-
readFields
public void readFields(DataInput in, Model m) throws IOException
Description copied from interface:WritableDeserialize the fields of this object fromin.For efficiency, implementations should attempt to re-use storage in the existing object where possible.
- Specified by:
readFieldsin interfaceWritable- Parameters:
in-DataInputto deseriablize this object from.- Throws:
IOException
-
compareTo
public int compareTo(OrEntry oe)
- Specified by:
compareToin interfaceComparable<OrEntry>
-
-