gl2

Documentation

Index

• type PathFinder
  • func NewPathFinder() *PathFinder
  • func (this *PathFinder) IsReachableToEntry(obstacles []*ssa.BasicBlock, startingPoints []*ssa.BasicBlock, ...) bool

Types

type PathFinder

type PathFinder struct {
	// contains filtered or unexported fields
}

func NewPathFinder

func NewPathFinder() *PathFinder

func (*PathFinder) IsReachableToEntry

func (this *PathFinder) IsReachableToEntry(obstacles []*ssa.BasicBlock, startingPoints []*ssa.BasicBlock, entry *ssa.BasicBlock) bool