|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Claim | |
---|---|
scg |
Uses of Claim in scg |
---|
Methods in scg that return Claim | |
---|---|
static Claim |
Claim.parse(java.io.InputStream inpt)
Parse an instance of Claim from the given Stream |
static Claim |
Claim.parse(java.io.Reader inpt)
Parse an instance of Claim from the given Reader |
static Claim |
Claim.parse(java.lang.String inpt)
Parse an instance of Claim from the given String |
Methods in scg that return types with arguments of type Claim | |
---|---|
edu.neu.ccs.demeterf.lib.Option<Claim> |
SolveRequest.getClaim()
Getter for field SolveRequest.claim |
edu.neu.ccs.demeterf.lib.List<Claim> |
AvatarI.propose(edu.neu.ccs.demeterf.lib.List<Claim> forbiddenClaims)
|
Methods in scg with parameters of type Claim | |
---|---|
InstanceI |
AvatarI.provide(Claim claimToBeProvided)
|
Method parameters in scg with type arguments of type Claim | |
---|---|
edu.neu.ccs.demeterf.lib.List<OpposeAction> |
AvatarI.oppose(edu.neu.ccs.demeterf.lib.List<Claim> claimsToBeOpposed)
|
edu.neu.ccs.demeterf.lib.List<Claim> |
AvatarI.propose(edu.neu.ccs.demeterf.lib.List<Claim> forbiddenClaims)
|
void |
SolveRequest.setClaim(edu.neu.ccs.demeterf.lib.Option<Claim> _claim)
Setter for field SolveRequest.claim |
Constructor parameters in scg with type arguments of type Claim | |
---|---|
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |