SyntacticEnumeratingPlBeliefSetSamplerExample

java.lang.Object

org.tweetyproject.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample

public class SyntacticEnumeratingPlBeliefSetSamplerExample extends Object

Illustrates the use of the belief base enumerators.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

SyntacticEnumeratingPlBeliefSetSamplerExample()

Default Constructor
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

main

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SyntacticEnumeratingPlBeliefSetSamplerExample
  
  public SyntacticEnumeratingPlBeliefSetSamplerExample()
  
  Default Constructor
Method Details
- main
  
  public static void main(String[] args) throws IOException
  
  main
  
  Parameters:
  
  args - arguments
  
  Throws:
  
  IOException - IOException