Class Lrat

java.lang.Object

com.google.protobuf.GeneratedFile

operations_research.sat.Lrat

@Generated
public final class Lrat
extends com.google.protobuf.GeneratedFile

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	Lrat.LratDeletedClauses	A list of clauses to delete.
static interface	Lrat.LratDeletedClausesOrBuilder
static final class	Lrat.LratExportedClause	A clause to export, so that it can be imported from any worker.
static interface	Lrat.LratExportedClauseOrBuilder
static final class	Lrat.LratImportedClause	A clause imported from the input problem, or from another worker.
static interface	Lrat.LratImportedClauseOrBuilder
static final class	Lrat.LratInferredClause	An LRAT inferred clause.
static interface	Lrat.LratInferredClauseOrBuilder
static final class	Lrat.LratProofStep	An LRAT UNSAT proof is a sequence of steps, starting from imported clauses and ending with the empty clause.
static interface	Lrat.LratProofStepOrBuilder

Method Summary

Modifier and Type	Method	Description
static com.google.protobuf.Descriptors.FileDescriptor	getDescriptor()
static void	registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)
static void	registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)

Methods inherited from class com.google.protobuf.GeneratedFile

addOptionalExtension

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

registerAllExtensions

public static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)

registerAllExtensions

public static void registerAllExtensions(com.google.protobuf.ExtensionRegistry registry)

getDescriptor

public static com.google.protobuf.Descriptors.FileDescriptor getDescriptor()