#include "CsgTreeUtils.hh"
#include <algorithm>
#include <utility>
#include <variant>
#include <vector>
#include "corecel/cont/Range.hh"
#include "detail/DeMorganSimplifier.hh"
#include "detail/InfixStringBuilder.hh"
#include "detail/NodeReplacer.hh"

Functions
std::vector< NodeId >	celeritas::orangeinp::replace_and_simplify (CsgTree *tree, NodeId repl_key, Node repl_value)
	Replace the given node ID with the replacement node. More...

NodeId	celeritas::orangeinp::simplify_up (CsgTree *tree, NodeId start)
	Simplify all nodes in the tree starting with this one. More...

void	celeritas::orangeinp::simplify (CsgTree *tree, NodeId start)
	Iteratively simplify all nodes in the tree. More...

SimplifiedCsgTree	celeritas::orangeinp::transform_negated_joins (CsgTree const &tree)
	Simplify negated joins using De Morgan's law. More...

std::string	celeritas::orangeinp::build_infix_string (CsgTree const &tree, NodeId n)
	Convert a node to an infix string expression.

std::vector< LocalSurfaceId >	celeritas::orangeinp::calc_surfaces (CsgTree const &tree)
	Construct the sorted set of all surfaces that are part of the tree. More...

Function Documentation

◆ calc_surfaces()

std::vector< LocalSurfaceId > celeritas::orangeinp::calc_surfaces ( CsgTree const & tree )

Construct the sorted set of all surfaces that are part of the tree.

This list removes surfaces that have been eliminated by logical replacement. Thanks to the CSG tree's deduplication, each surface should appear in the tree at most once.

◆ replace_and_simplify()

std::vector< NodeId > celeritas::orangeinp::replace_and_simplify	(	CsgTree *	tree,
		NodeId	repl_key,
		Node	repl_value
	)

Replace the given node ID with the replacement node.

This recurses through daughters of "Joined" to simplify their originating surfaces if possible.

"negated": non-constant daughter node is replaced with ~b
"replaced": non-constant daughter node is replaced with b
"joined": for (false, or): all daughters are "false" for (true, and): all daughters are "true"
surface: "true"
constant: check for contradiction

This operation is at worst O((number of nodes) * (depth of graph)).

◆ simplify()

void celeritas::orangeinp::simplify	(	CsgTree *	tree,
		NodeId	start
	)

Iteratively simplify all nodes in the tree.

The input 'start' node should be the minimum node from a replace_down operation. In the worst case, it should take as many sweeps as the depth of the tree.

◆ simplify_up()

orangeinp::NodeId celeritas::orangeinp::simplify_up	(	CsgTree *	tree,
		NodeId	start
	)

Simplify all nodes in the tree starting with this one.

Returns: Lowest ID of any simplified node

◆ transform_negated_joins()

SimplifiedCsgTree celeritas::orangeinp::transform_negated_joins ( CsgTree const & tree )

Simplify negated joins using De Morgan's law.