truthTableToSymbolic {BoolNet}

Convert a network in truth table representation into a symbolic representation

Description

Converts an object of class BooleanNetwork into an object of class SymbolicBooleanNetwork by generating symbolic expression trees.

Usage

truthTableToSymbolic(network, generateDNFs = FALSE)

Arguments

network

An object of class BooleanNetwork to be converted.

generateDNFs

This parameter specifies whether formulae in Disjunctive Normal Form are generated instead of the parsing the string expressions that describe the transition functions. If set to FALSE, the original expressions are parsed. If set to "canonical", a canonical Disjunctive Normal Form is generated from each truth table. If set to "short", the canonical DNF is minimized by joining terms (which can be time-consuming for functions with many inputs). If set to TRUE, a short DNF is generated for functions with up to 12 inputs, and a canonical DNF is generated for functions with more than 12 inputs.

Value

Returns an object of class SymbolicBooleanNetwork, as described in loadNetwork.

See Also

truthTableToSymbolic, loadNetwork

Examples

## Not run: 
# Convert a truth table representation into a 
# symbolic representation and back
data(cellcycle)

symbolicNet <- truthTableToSymbolic(cellcycle)
print(symbolicNet)

ttNet <- symbolicToTruthTable(symbolicNet)
print(cellcycle)

## End(Not run)