Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: circuit
Note: This documentation is automatically generated.
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["The provided C++ documentation outlines three classes related to circuit optimization: `CircuitCoveringPropagator`, `CircuitPropagator`, and `NoCyclePropagator`. These classes are involved in managing and propagating constraints within circuits. Specifically, they deal with covering, general circuit constraints, and cycle prevention in circuits, respectively. The core function is to handle circuit-related logic and maintain integrity within optimization problems, which likely involves ensuring valid paths and avoiding cyclic dependencies.\n"],null,["# circuit\n\nC++ Reference: circuit\n======================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|--------------------------------------------------------------------------------------------|---|\n| [CircuitCoveringPropagator](/optimization/reference/sat/circuit/CircuitCoveringPropagator) |\n| [CircuitPropagator](/optimization/reference/sat/circuit/CircuitPropagator) |\n| [NoCyclePropagator](/optimization/reference/sat/circuit/NoCyclePropagator) |"]]