| Modifier and Type | Method and Description |
|---|---|
Message.Node.Builder |
Message.Node.Builder.clear() |
Message.Node.Builder |
Message.Node.Builder.clearAlt()
optional int32 alt = 4; |
Message.Node.Builder |
Message.Node.Builder.clearBackjumpDistance()
optional int32 backjump_distance = 17; |
Message.Node.Builder |
Message.Node.Builder.clearDecisionLevel()
optional int32 decision_level = 18; |
Message.Node.Builder |
Message.Node.Builder.clearDomainSize()
optional float domain_size = 11; |
Message.Node.Builder |
Message.Node.Builder.clearInfo()
optional string info = 14; |
Message.Node.Builder |
Message.Node.Builder.clearKids()
optional int32 kids = 5; |
Message.Node.Builder |
Message.Node.Builder.clearLabel()
optional string label = 10; |
Message.Node.Builder |
Message.Node.Builder.clearNogood()
optional string nogood = 13; |
Message.Node.Builder |
Message.Node.Builder.clearNogoodBld()
optional int32 nogood_bld = 15; |
Message.Node.Builder |
Message.Node.Builder.clearPid()
optional int32 pid = 3; |
Message.Node.Builder |
Message.Node.Builder.clearRestartId()
optional int32 restart_id = 7; |
Message.Node.Builder |
Message.Node.Builder.clearSid()
optional int32 sid = 2; |
Message.Node.Builder |
Message.Node.Builder.clearSolution()
optional string solution = 12; |
Message.Node.Builder |
Message.Node.Builder.clearStatus()
optional .message.Node.NodeStatus status = 6; |
Message.Node.Builder |
Message.Node.Builder.clearThreadId()
optional int32 thread_id = 9; |
Message.Node.Builder |
Message.Node.Builder.clearTime()
optional uint64 time = 8; |
Message.Node.Builder |
Message.Node.Builder.clearType()
required .message.Node.MsgType type = 1; |
Message.Node.Builder |
Message.Node.Builder.clearUsesAssumptions()
optional bool uses_assumptions = 16; |
Message.Node.Builder |
Message.Node.Builder.clone() |
Message.Node.Builder |
Message.Node.Builder.mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
Message.Node.Builder |
Message.Node.Builder.mergeFrom(Message.Node other) |
Message.Node.Builder |
Message.Node.Builder.mergeFrom(com.google.protobuf.Message other) |
static Message.Node.Builder |
Message.Node.newBuilder() |
static Message.Node.Builder |
Message.Node.newBuilder(Message.Node prototype) |
Message.Node.Builder |
Message.Node.newBuilderForType() |
protected Message.Node.Builder |
Message.Node.newBuilderForType(com.google.protobuf.GeneratedMessage.BuilderParent parent) |
Message.Node.Builder |
Message.Node.Builder.setAlt(int value)
optional int32 alt = 4; |
Message.Node.Builder |
Message.Node.Builder.setBackjumpDistance(int value)
optional int32 backjump_distance = 17; |
Message.Node.Builder |
Message.Node.Builder.setDecisionLevel(int value)
optional int32 decision_level = 18; |
Message.Node.Builder |
Message.Node.Builder.setDomainSize(float value)
optional float domain_size = 11; |
Message.Node.Builder |
Message.Node.Builder.setInfo(String value)
optional string info = 14; |
Message.Node.Builder |
Message.Node.Builder.setInfoBytes(com.google.protobuf.ByteString value)
optional string info = 14; |
Message.Node.Builder |
Message.Node.Builder.setKids(int value)
optional int32 kids = 5; |
Message.Node.Builder |
Message.Node.Builder.setLabel(String value)
optional string label = 10; |
Message.Node.Builder |
Message.Node.Builder.setLabelBytes(com.google.protobuf.ByteString value)
optional string label = 10; |
Message.Node.Builder |
Message.Node.Builder.setNogood(String value)
optional string nogood = 13; |
Message.Node.Builder |
Message.Node.Builder.setNogoodBld(int value)
optional int32 nogood_bld = 15; |
Message.Node.Builder |
Message.Node.Builder.setNogoodBytes(com.google.protobuf.ByteString value)
optional string nogood = 13; |
Message.Node.Builder |
Message.Node.Builder.setPid(int value)
optional int32 pid = 3; |
Message.Node.Builder |
Message.Node.Builder.setRestartId(int value)
optional int32 restart_id = 7; |
Message.Node.Builder |
Message.Node.Builder.setSid(int value)
optional int32 sid = 2; |
Message.Node.Builder |
Message.Node.Builder.setSolution(String value)
optional string solution = 12; |
Message.Node.Builder |
Message.Node.Builder.setSolutionBytes(com.google.protobuf.ByteString value)
optional string solution = 12; |
Message.Node.Builder |
Message.Node.Builder.setStatus(Message.Node.NodeStatus value)
optional .message.Node.NodeStatus status = 6; |
Message.Node.Builder |
Message.Node.Builder.setThreadId(int value)
optional int32 thread_id = 9; |
Message.Node.Builder |
Message.Node.Builder.setTime(long value)
optional uint64 time = 8; |
Message.Node.Builder |
Message.Node.Builder.setType(Message.Node.MsgType value)
required .message.Node.MsgType type = 1; |
Message.Node.Builder |
Message.Node.Builder.setUsesAssumptions(boolean value)
optional bool uses_assumptions = 16; |
Message.Node.Builder |
Message.Node.toBuilder() |
Copyright © 2016. All rights reserved.