Clause

All Superinterfaces:: Iterable<Literal>

public interface Clause extends Iterable<Literal>

Author:: Mathias Hofer

Method Summary

Modifier and Type

Method

Description

static Clause

of()

static Clause

of(Collection<? extends Literal> literals)

static Clause

of(Collection<? extends Literal> literals, Literal l)

static Clause

of(Collection<? extends Literal> literals, Literal l1, Literal l2)

static Clause

of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)

static Clause

of(Clause c, Literal l)

static Clause

of(Literal l)

static Clause

of(Literal l1, Literal l2)

static Clause

of(Literal l1, Literal l2, Literal l3)

int

size()

Stream<Literal>

stream()

Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator

Method Details
- stream
  
  Stream<Literal> stream()
- size
  
  int size()
- of
  
  static Clause of()
- of
  
  static Clause of(Literal l)
- of
  
  static Clause of(Literal l1, Literal l2)
- of
  
  static Clause of(Literal l1, Literal l2, Literal l3)
- of
  
  static Clause of(Clause c, Literal l)
- of
  
  static Clause of(Collection<? extends Literal> literals)
- of
  
  static Clause of(Collection<? extends Literal> literals, Literal l)
- of
  
  static Clause of(Collection<? extends Literal> literals, Literal l1, Literal l2)
- of
  
  static Clause of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)