operations_research.sat.Lrat Class Reference

Detailed Description

Definition at line 9 of file Lrat.java.

Inheritance diagram for operations_research.sat.Lrat:

Classes
interface	LratImportedClauseOrBuilder
class	LratImportedClause
interface	LratInferredClauseOrBuilder
class	LratInferredClause
interface	LratExportedClauseOrBuilder
class	LratExportedClause
interface	LratDeletedClausesOrBuilder
class	LratDeletedClauses
interface	LratProofStepOrBuilder
class	LratProofStep

Static Public Member Functions
static void	registerAllExtensions (com.google.protobuf.ExtensionRegistryLite registry)
static void	registerAllExtensions (com.google.protobuf.ExtensionRegistry registry)
static com.google.protobuf.Descriptors.FileDescriptor	getDescriptor ()

Member Function Documentation

getDescriptor()

com.google.protobuf.Descriptors.FileDescriptor operations_research.sat.Lrat.getDescriptor ( )

static

Definition at line 5562 of file Lrat.java.

registerAllExtensions() [1/2]

void operations_research.sat.Lrat.registerAllExtensions ( com.google.protobuf.ExtensionRegistry registry )

static

Definition at line 24 of file Lrat.java.

registerAllExtensions() [2/2]

void operations_research.sat.Lrat.registerAllExtensions ( com.google.protobuf.ExtensionRegistryLite registry )

static

Definition at line 20 of file Lrat.java.

---

The documentation for this class was generated from the following file:

• build/java/ortools-java/src/main/java/operations_research/sat/Lrat.java