LogicPlatform

protected trait LogicPlatform[A]
class Object
trait Matchable
class Any
class LogicD
class LogicI
class LogicL

Value members

Abstract methods

protected def mkDiskWindow(sz: Int, f: File, raf: RandomAccessFile): Window[A]
protected def mkMemWindow(sz: Int): Window[A]

Concrete methods

protected def mkWindow(sz: Int)(implicit control: Control): Window[A]