Class: MiniKraken::Rela::GoalRelation

Inherits:

Core::Relation

• Object
• Core::Specification
• Core::Relation
• MiniKraken::Rela::GoalRelation

Defined in:

lib/mini_kraken/rela/goal_relation.rb

Overview

A specialization of a relation that accepts only goal(s) as its arguments.

Direct Known Subclasses

Conde, Conj2, Disj2, Fresh

Instance Attribute Summary

Attributes inherited from Core::Specification

#arity, #name

Method Summary

Methods inherited from Core::Relation

#solver_for

Methods inherited from Core::Specification

#check_arity, #initialize, #inspect, #variadic?

Constructor Details

This class inherits a constructor from MiniKraken::Core::Specification