scg
Class SolveRequest

java.lang.Object
  extended by scg.ProtocolRequest
      extended by scg.SolveRequest

public class SolveRequest
extends scg.ProtocolRequest

Representation of SolveRequest


Nested Class Summary
static class SolveRequest.claim
          Field Class for SolveRequest.claim
static class SolveRequest.instanceWrapper
          Field Class for SolveRequest.instanceWrapper
 
Constructor Summary
SolveRequest(InstanceI instance, edu.neu.ccs.demeterf.lib.Option<Claim> claim)
           
SolveRequest(scg.RWrap<InstanceI> instanceWrapper, edu.neu.ccs.demeterf.lib.Option<Claim> claim)
          Construct a(n) SolveRequest Instance
 
Method Summary
 java.lang.String display()
          DGP method from Class Display
 boolean equals(java.lang.Object o)
          Is the given object Equal to this SolveRequest?
 edu.neu.ccs.demeterf.lib.Option<Claim> getClaim()
          Getter for field SolveRequest.claim
 InstanceI getInstance()
           
 scg.RWrap<InstanceI> getInstanceWrapper()
          Getter for field SolveRequest.instanceWrapper
 int hashCode()
          DGP method from Class HashCode
static SolveRequest parse(java.io.InputStream inpt)
          Parse an instance of SolveRequest from the given Stream
static SolveRequest parse(java.io.Reader inpt)
          Parse an instance of SolveRequest from the given Reader
static SolveRequest parse(java.lang.String inpt)
          Parse an instance of SolveRequest from the given String
 java.lang.String print()
          DGP method from Class Print
 void setClaim(edu.neu.ccs.demeterf.lib.Option<Claim> _claim)
          Setter for field SolveRequest.claim
 void setInstanceWrapper(scg.RWrap<InstanceI> _instanceWrapper)
          Setter for field SolveRequest.instanceWrapper
 java.lang.String toStr()
          DGP method from Class ToStr
 java.lang.String toString()
          DGP method from Class PrintToString
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SolveRequest

public SolveRequest(scg.RWrap<InstanceI> instanceWrapper,
                    edu.neu.ccs.demeterf.lib.Option<Claim> claim)
Construct a(n) SolveRequest Instance


SolveRequest

public SolveRequest(InstanceI instance,
                    edu.neu.ccs.demeterf.lib.Option<Claim> claim)
Method Detail

equals

public boolean equals(java.lang.Object o)
Is the given object Equal to this SolveRequest?

Overrides:
equals in class java.lang.Object

parse

public static SolveRequest parse(java.lang.String inpt)
                          throws scg.ParseException
Parse an instance of SolveRequest from the given String

Throws:
scg.ParseException

parse

public static SolveRequest parse(java.io.InputStream inpt)
                          throws scg.ParseException
Parse an instance of SolveRequest from the given Stream

Throws:
scg.ParseException

parse

public static SolveRequest parse(java.io.Reader inpt)
                          throws scg.ParseException
Parse an instance of SolveRequest from the given Reader

Throws:
scg.ParseException

getInstance

public InstanceI getInstance()

display

public java.lang.String display()
DGP method from Class Display

Overrides:
display in class scg.ProtocolRequest

print

public java.lang.String print()
DGP method from Class Print

Overrides:
print in class scg.ProtocolRequest

toStr

public java.lang.String toStr()
DGP method from Class ToStr

Overrides:
toStr in class scg.ProtocolRequest

toString

public java.lang.String toString()
DGP method from Class PrintToString

Overrides:
toString in class scg.ProtocolRequest

hashCode

public int hashCode()
DGP method from Class HashCode

Overrides:
hashCode in class scg.ProtocolRequest

setInstanceWrapper

public void setInstanceWrapper(scg.RWrap<InstanceI> _instanceWrapper)
Setter for field SolveRequest.instanceWrapper


setClaim

public void setClaim(edu.neu.ccs.demeterf.lib.Option<Claim> _claim)
Setter for field SolveRequest.claim


getInstanceWrapper

public scg.RWrap<InstanceI> getInstanceWrapper()
Getter for field SolveRequest.instanceWrapper


getClaim

public edu.neu.ccs.demeterf.lib.Option<Claim> getClaim()
Getter for field SolveRequest.claim