Interface Lrat.LratProofStepOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
Lrat.LratProofStep, Lrat.LratProofStep.Builder
Enclosing class:
Lrat
public static interface Lrat.LratProofStepOrBuilder extends com.google.protobuf.MessageOrBuilder

  • Method Details

    • hasImportedClause

      boolean hasImportedClause()
      .operations_research.sat.LratImportedClause imported_clause = 1;
      Returns:
      Whether the importedClause field is set.

    • getImportedClause

      Lrat.LratImportedClause getImportedClause()
      .operations_research.sat.LratImportedClause imported_clause = 1;
      Returns:
      The importedClause.

    • getImportedClauseOrBuilder

      Lrat.LratImportedClauseOrBuilder getImportedClauseOrBuilder()
      .operations_research.sat.LratImportedClause imported_clause = 1;

    • hasInferredClause

      boolean hasInferredClause()
      .operations_research.sat.LratInferredClause inferred_clause = 2;
      Returns:
      Whether the inferredClause field is set.

    • getInferredClause

      Lrat.LratInferredClause getInferredClause()
      .operations_research.sat.LratInferredClause inferred_clause = 2;
      Returns:
      The inferredClause.

    • getInferredClauseOrBuilder

      Lrat.LratInferredClauseOrBuilder getInferredClauseOrBuilder()
      .operations_research.sat.LratInferredClause inferred_clause = 2;

    • hasExportedClause

      boolean hasExportedClause()
      .operations_research.sat.LratExportedClause exported_clause = 3;
      Returns:
      Whether the exportedClause field is set.

    • getExportedClause

      Lrat.LratExportedClause getExportedClause()
      .operations_research.sat.LratExportedClause exported_clause = 3;
      Returns:
      The exportedClause.

    • getExportedClauseOrBuilder

      Lrat.LratExportedClauseOrBuilder getExportedClauseOrBuilder()
      .operations_research.sat.LratExportedClause exported_clause = 3;

    • hasDeletedClauses

      boolean hasDeletedClauses()
      .operations_research.sat.LratDeletedClauses deleted_clauses = 4;
      Returns:
      Whether the deletedClauses field is set.

    • getDeletedClauses

      Lrat.LratDeletedClauses getDeletedClauses()
      .operations_research.sat.LratDeletedClauses deleted_clauses = 4;
      Returns:
      The deletedClauses.

    • getDeletedClausesOrBuilder

      Lrat.LratDeletedClausesOrBuilder getDeletedClausesOrBuilder()
      .operations_research.sat.LratDeletedClauses deleted_clauses = 4;

    • getStepCase

      Lrat.LratProofStep.StepCase getStepCase()