Skip to content

Commit

Permalink
🎨 ClangFormat changes
Browse files Browse the repository at this point in the history
Signed-off-by: ClangFormat <[email protected]>
  • Loading branch information
ClangFormat authored and ClangFormat committed Dec 9, 2022
1 parent 2212c4b commit e61a25e
Show file tree
Hide file tree
Showing 6 changed files with 16 additions and 15 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -216,8 +216,8 @@ class generate_edge_intersection_graph_impl
*
* @tparam Path Type of other path.
* @param other The other path.
* @return `true` iff this path and the given one are overlapping, i.e., share at least one coordinate segment of
* size 2.
* @return `true` iff this path and the given one are overlapping, i.e., share at least one coordinate segment
* of size 2.
*/
template <typename Path>
bool has_overlap_with(const Path& other) const noexcept
Expand Down
4 changes: 2 additions & 2 deletions include/fiction/algorithms/graph/graph_coloring.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -936,8 +936,8 @@ class graph_coloring_impl
* Checks whether the given coloring is valid, i.e., if no two adjacent vertices have the same color assigned.
*
* @param v_coloring Vertex coloring to check.
* @return `true` iff no two adjacent vertices in the stored graph have the same color assigned according to the given
* coloring.
* @return `true` iff no two adjacent vertices in the stored graph have the same color assigned according to the
* given coloring.
*/
[[nodiscard]] bool is_valid_vertex_coloring(const vertex_coloring<Graph, Color>& v_coloring) const noexcept
{
Expand Down
4 changes: 2 additions & 2 deletions include/fiction/algorithms/physical_design/exact.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -637,8 +637,8 @@ class exact_impl
* Returns true, iff skip_const_or_io_node returns true for either source or target of the given edge..
*
* @param e Edge in network.
* @return `true` iff e is to be skipped in a loop due to it having constant or I/O nodes while params.io_ports ==
* false.
* @return `true` iff e is to be skipped in a loop due to it having constant or I/O nodes while params.io_ports
* == false.
*/
[[nodiscard]] bool skip_const_or_io_edge(const mockturtle::edge<topology_ntk_t>& e) const noexcept
{
Expand Down
8 changes: 4 additions & 4 deletions include/fiction/layouts/gate_level_layout.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -605,8 +605,8 @@ class gate_level_layout : public ClockedLayout
}
/**
* Checks whether a node (not its assigned tile) is dead. Nodes can be dead for a variety of reasons. For instance
* if they are dangling (see the `mockturtle` API). In this layout type, nodes are also marked dead when they are not
* assigned to a tile (which is considered equivalent to dangling).
* if they are dangling (see the `mockturtle` API). In this layout type, nodes are also marked dead when they are
* not assigned to a tile (which is considered equivalent to dangling).
*
* @param n Node to check for lifeliness.
* @return `true` iff `n` is dead.
Expand Down Expand Up @@ -680,8 +680,8 @@ class gate_level_layout : public ClockedLayout
}
/**
* Connects the given signal `s` to the given node `n` as a child. The new child `s` is appended at the end of `n`'s
* list of children. Thus, if the order of children is important, `move_node` should be used instead. Otherwise, this
* function has a smaller overhead and is to be preferred.
* list of children. Thus, if the order of children is important, `move_node` should be used instead. Otherwise,
* this function has a smaller overhead and is to be preferred.
*
* @param s New incoming signal to `n`.
* @param n Node that should add `s` as its child.
Expand Down
8 changes: 4 additions & 4 deletions include/fiction/networks/technology_network.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -221,8 +221,8 @@ class technology_network : public mockturtle::klut_network
#pragma region Structural properties

/**
* Returns whether the given node `n` is a buffer node, i.e., whether `n` computes the identity function and is not a
* PI. This also returns `true` on fanout nodes.
* Returns whether the given node `n` is a buffer node, i.e., whether `n` computes the identity function and is not
* a PI. This also returns `true` on fanout nodes.
*
* @param n Node to consider.
* @return `true` iff `n` is a buffer node.
Expand All @@ -232,8 +232,8 @@ class technology_network : public mockturtle::klut_network
return _storage->nodes[n].data[1].h1 == 2 && !is_pi(n);
}
/**
* Returns whether the given node `n` is a fanout node, i.e., whether `n` is a buffer node and has more than one output
* signal.
* Returns whether the given node `n` is a fanout node, i.e., whether `n` is a buffer node and has more than one
* output signal.
*
* @param n Node to consider.
* @return `true` iff `n` is a fanout node.
Expand Down
3 changes: 2 additions & 1 deletion include/fiction/networks/views/edge_color_view.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,8 @@
namespace fiction
{
/**
* A view that extends `mockturtle::out_of_place_color_view` such that it can color edges, i.e., tuples of nodes as well.
* A view that extends `mockturtle::out_of_place_color_view` such that it can color edges, i.e., tuples of nodes as
* well.
*
* @tparam Ntk mockturtle network type.
*/
Expand Down

0 comments on commit e61a25e

Please sign in to comment.