public static interface Message.NodeOrBuilder
extends com.google.protobuf.MessageOrBuilder
| Modifier and Type | Method and Description |
|---|---|
int |
getAlt()
optional int32 alt = 4; |
int |
getBackjumpDistance()
optional int32 backjump_distance = 17; |
int |
getDecisionLevel()
optional int32 decision_level = 18; |
float |
getDomainSize()
optional float domain_size = 11; |
String |
getInfo()
optional string info = 14; |
com.google.protobuf.ByteString |
getInfoBytes()
optional string info = 14; |
int |
getKids()
optional int32 kids = 5; |
String |
getLabel()
optional string label = 10; |
com.google.protobuf.ByteString |
getLabelBytes()
optional string label = 10; |
String |
getNogood()
optional string nogood = 13; |
int |
getNogoodBld()
optional int32 nogood_bld = 15; |
com.google.protobuf.ByteString |
getNogoodBytes()
optional string nogood = 13; |
int |
getPid()
optional int32 pid = 3; |
int |
getRestartId()
optional int32 restart_id = 7; |
int |
getSid()
optional int32 sid = 2; |
String |
getSolution()
optional string solution = 12; |
com.google.protobuf.ByteString |
getSolutionBytes()
optional string solution = 12; |
Message.Node.NodeStatus |
getStatus()
optional .message.Node.NodeStatus status = 6; |
int |
getThreadId()
optional int32 thread_id = 9; |
long |
getTime()
optional uint64 time = 8; |
Message.Node.MsgType |
getType()
required .message.Node.MsgType type = 1; |
boolean |
getUsesAssumptions()
optional bool uses_assumptions = 16; |
boolean |
hasAlt()
optional int32 alt = 4; |
boolean |
hasBackjumpDistance()
optional int32 backjump_distance = 17; |
boolean |
hasDecisionLevel()
optional int32 decision_level = 18; |
boolean |
hasDomainSize()
optional float domain_size = 11; |
boolean |
hasInfo()
optional string info = 14; |
boolean |
hasKids()
optional int32 kids = 5; |
boolean |
hasLabel()
optional string label = 10; |
boolean |
hasNogood()
optional string nogood = 13; |
boolean |
hasNogoodBld()
optional int32 nogood_bld = 15; |
boolean |
hasPid()
optional int32 pid = 3; |
boolean |
hasRestartId()
optional int32 restart_id = 7; |
boolean |
hasSid()
optional int32 sid = 2; |
boolean |
hasSolution()
optional string solution = 12; |
boolean |
hasStatus()
optional .message.Node.NodeStatus status = 6; |
boolean |
hasThreadId()
optional int32 thread_id = 9; |
boolean |
hasTime()
optional uint64 time = 8; |
boolean |
hasType()
required .message.Node.MsgType type = 1; |
boolean |
hasUsesAssumptions()
optional bool uses_assumptions = 16; |
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneofboolean hasType()
required .message.Node.MsgType type = 1;Message.Node.MsgType getType()
required .message.Node.MsgType type = 1;boolean hasSid()
optional int32 sid = 2;int getSid()
optional int32 sid = 2;boolean hasPid()
optional int32 pid = 3;int getPid()
optional int32 pid = 3;boolean hasAlt()
optional int32 alt = 4;int getAlt()
optional int32 alt = 4;boolean hasKids()
optional int32 kids = 5;int getKids()
optional int32 kids = 5;boolean hasStatus()
optional .message.Node.NodeStatus status = 6;Message.Node.NodeStatus getStatus()
optional .message.Node.NodeStatus status = 6;boolean hasRestartId()
optional int32 restart_id = 7;int getRestartId()
optional int32 restart_id = 7;boolean hasTime()
optional uint64 time = 8;long getTime()
optional uint64 time = 8;boolean hasThreadId()
optional int32 thread_id = 9;int getThreadId()
optional int32 thread_id = 9;boolean hasLabel()
optional string label = 10;String getLabel()
optional string label = 10;com.google.protobuf.ByteString getLabelBytes()
optional string label = 10;boolean hasDomainSize()
optional float domain_size = 11;float getDomainSize()
optional float domain_size = 11;boolean hasSolution()
optional string solution = 12;String getSolution()
optional string solution = 12;com.google.protobuf.ByteString getSolutionBytes()
optional string solution = 12;boolean hasNogood()
optional string nogood = 13;String getNogood()
optional string nogood = 13;com.google.protobuf.ByteString getNogoodBytes()
optional string nogood = 13;boolean hasInfo()
optional string info = 14;String getInfo()
optional string info = 14;com.google.protobuf.ByteString getInfoBytes()
optional string info = 14;boolean hasNogoodBld()
optional int32 nogood_bld = 15;int getNogoodBld()
optional int32 nogood_bld = 15;boolean hasUsesAssumptions()
optional bool uses_assumptions = 16;boolean getUsesAssumptions()
optional bool uses_assumptions = 16;boolean hasBackjumpDistance()
optional int32 backjump_distance = 17;int getBackjumpDistance()
optional int32 backjump_distance = 17;boolean hasDecisionLevel()
optional int32 decision_level = 18;int getDecisionLevel()
optional int32 decision_level = 18;Copyright © 2016. All rights reserved.