Skip to main content

CrystalDocs builds documentation for every shard, on request. The announcement: Documentation for every shard, on CrystalBits.

Search documentation

Browse Docs CrystalShards About

github.com/w-wieczorek/asp

Version:

Filter types

Types

Asp

module

Asp

Constants

DUMMY = Literal.new(0_u32, false)

Class methods

cn(p)

narrow(pi, lb, ub)

reduct(pi : Set(Rule), x : Set(Atom)) : Set(Rule)

Nested types

Asp::Atom
Asp::Heap(T)
Asp::Literal
Asp::LiteralFactory
Asp::Program
Asp::Rule

Advertisement

Crystal jobs from CrystalGigs

Your posting here
Reach Crystal developers on CrystalGigsFirst party

CrystalDocs.org - Crystal Shard Documentation Hosting

The CrystalBits newsletter

Crystal tutorials, release news and community writing. One email when there is something new, never a stream.

Email address

You will get one confirmation email to check the address is yours. Unsubscribe any time.

GitHub CrystalShards CrystalGigs CrystalBits Crystal Language Stats Sponsor

The Bushido Collective builds and maintains this site.
Licensed under the Apache License 2.0