Uses of Class
net.sf.bddbddb.Solver.MyReader

Packages that use Solver.MyReader

net.sf.bddbddb

Uses of Solver.MyReader in net.sf.bddbddb

Methods in net.sf.bddbddb with parameters of type Solver.MyReader

void	Solver.load(Solver.MyReader in)
void	DatalogParser.readDatalogProgram(Solver.MyReader in) Read and parse a Datalog program.