rewrite

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Dec 15, 2023 License: Apache-2.0 Imports: 4 Imported by: 0

Documentation

Overview

Package rewrite rewrites rules of a layer (stratum) of a datalog program.

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func Rewrite 

func Rewrite(stratum analysis.Program) analysis.Program

Rewrite transforms each clause of a given layer (stratum) of a program to another one where transforms only appear on clauses with a single atom that defines all variables.

Types

This section is empty.

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.