@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
15 lines (14 loc) • 618 B
TypeScript
import { type Lift, type Value, type ValueVector } from '../r-value';
/**
* Creates an abstract vector from abstract values
* @param elements - elements that the vector should contain
* @returns abstract ValueVector
*/
export declare function vectorFrom<V extends Lift<Value[]>>(elements: V): ValueVector<V>;
/**
* Flattens all elements inside of a vector
* A set containing only one element is also replaced by its only element
* @param s - vector to flatten
* @returns flattened vactor, if all elements are not bottom / top
*/
export declare function flattenVectorElements(s: Lift<Value[]>): Lift<Value[]>;